For a brief moment, release pointed to dev leaderboards, promptly fixed