Leaderboard frontend rewrite mostly done Leaderboard proxy now respects cache limit Leaderboard entry style tweaks