I have gone through every record appearing on the leaderboards and retimed them. I have inputted all the new times as of now. If you think I timed your run incorrectly, please let me know. I tried to be as accurate as possible, but even when inputting the times from my spreadsheet today I found a few mistakes.

Congratulations to ~75% of runs that have become 1-2 seconds shorter!

6/16 edit - I'm stupid and just found the Tutorial% section so I will be looking to retime those runs soon.