Leaderboard

Separate boards per game length, so a 20-round game never outranks a 5-round one just by being longer.