Now we have enough runs in "All Keys" category to separate places with milliseconds. Should I add milliseconds or better don't change anything? What do you think about it?

I'm for adding them. If there's an influx of runs we'd see a number of people each tied for first, second, and third, most likely, with no way to differentiate between the fastest of them. Although I do love the feeling of cutting an entire second off, adding milliseconds would allow for a more accurate leaderboard.

Done. I hope these frames was calculated very accuracy, but in some videos frame rate unconstistance. Anyway it's a shitty category :)