Leaderboards are back as they were before. If you want to submit any new runs go ahead.