Would you consider retiming the runs and adding milliseconds to the leaderboard for accuracy?

I can do that since there aren't that many runs on the leaderboard.

Thanks :)

A better solution would actually be to just add ms to runs that are tied to the second, like yours and oreo's.