Leaderboard

See which players are setting the pace.

Community rankings now render server-side, which makes the default leaderboard visible immediately and preserves GET-based filtering for alternate score types.