Leaderboard time: 8:60.0 or 9:00.0?

[Dean]

Must be a recent tweak

Regarding the time display

Not much of a big deal, and I doubt I or anyone else is having any trouble, but it is somewhat odd and I am reporting it. My record for one lap is probably exactly 7 minutes, so 6 minutes and 60 seconds is not wrong, but some may not like it. Others, like me, may want to laugh and share it with oth…