New leaderboard API Leaderboard API change Use new server-side leaderboard submit method Fixed warning Tell daily challenge spectators why they are spectating Disable score submission in tools mode again Smaller time text, add total level count to UI Fixed submitting wrong depth to leaderboard