Since we now have a world record tie at 8:17, can we start adding milliseconds to the runs? I want to verify ILM's time, but want to rank people properly here and not just call it a tie.

It seems there is a spot for milliseconds in the submission area. Thoughts? I was about to time coolkid and ILM's times by framecount and just didn't want to add the milliseconds if people disagreed for some reason.

Also, I'm not sure about other times either. We could start adding decimals from here on, or say "sub 8:30" times get milliseconds. Thoughts?