Hello everyone,

Today, over a year after my first announcement regarding this topic, I can announce that every single run on the leaderboard has been accurately retimed ! Many thanks to AverageExtra for helping me with some of the runs.