For a longer time the topic of implementing miliseconds onto the board has been hanging around. It most certainly make sense considering the massive amount of tied runs especially in the 10 Lines categories. The main detraction was always that it would just take too much effort, since the first time the topic came up, there were already hundreds of runs on the board. Enough time has passed now and at this point a compromise has been decided that the top 10 runs at any time, in all cats, will be given milisecond tiebreakers. (as well as runs with the same seconds as any of the top 10 runs, meaning that often it will be a bit more than that.) These will be also retracted once a run leaves the top 10 and tied as to not mix the runs with and without miliseconds. Consider it as a badge of elite status for a run. (even though for some categories every single one has it)
Today the anniversarial leaderboard renovation has been concluded. I hope you all will see its current state as an improvement. I certainly do, though I do need to mention that a part of it does vex me a tiny bit.
In the community vote we both agreed to condense all categories into subcategories
