Haha, This made my day Average is by definition 1600.(Still on mobile) agreed, the consequence of having only few good players in HD is that pros don't play with pros 90% of the times.
However, it can be sorted out by adding an elo filter to the leaderboard, for more exploitable stats. Like so:
Experts: +2k4
Pros: 2k to 2399
Rookies: 1850 to 1999
Average: 1700 to 1849
Noobs: 1600 to 1699
Bad players: -1599