So these are very obscure WRs then lol.

Part of me wants to try challenging them, but as someone who mostly played the 0.61 version (I assume) on an Ubuntu live CD back in 2005, I'm very much a Tux Racer pleb.