We've finally finished migrating the runs to the new leaderboard! The old leaderboard has been archived and will no longer accept runs.