i think the leaderboard should include milliseconds, since the run is so short. what do you think?