Global leaderboard

Personal-best Zetamac scores, recomputed and validated server-side.