Leaderboard API: some stuff.

Also did some cleanup.