The leaderboard is now active again and runs can be submitted.