Not trying to be a douche, I believe it wasn't done on purpose, but there is a mistake on leaderboards
https://www.speedrun.com/Donkey_Kong/run/y8qnnnny
this run says 87 miliseconds, but on the timer you can see ".87" and not ".087", so that's not 87 miliseconds, but 870 miliseconds.
Trust me when I say the mods for this game are not active enough for this game. This is the same thing that happened with Vash’s time and why my comment makes no sense :P Looks like it was fixed today though, thanks for pointing it out.
The mods have also other leaderboards + IRL stuff. We check the forums as much as possible, but sometimes we simply forget. Trust me you have no idea how many runs i've rejected because they don't respect our rules, so the mods are doing a good job with this game.