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?