ah hey it seems like there might be a bug where when the leaderboard wants to add another submitted time to it, it deletes the fastest times instead of the slowest to make room.
in case some of these get deleted, i just want to archive that my leaderboard right now says:
crep 14.58 14.92 15.02 15.27 15.4 Coen 14.63 14.72 Hankyu 15.44
