There's a whole bunch of ties on the leaderboard (a three-way tie for 2nd and a tie for 5th), wondering what others' thoughts are on adding milliseconds to times via retiming in order to break the ties? Game's pretty short after all.