refresh alltime leaderboard after game, too