The rules for the Richter mode category say that run is timed using in-game time, but the leaderboard is instead using the recording's real time. Any reason for this discrepancy or am I just missing something?

This was an error on my part, thank you for pointing it out and it has been fixed :)