format leaderboard, update docs