Leaderboard

Global, daily, weekly, and per-game rankings are served by `/api/leaderboard/`.