As of 2019-04-16, a couple major changes have been made to the structure and function of the leaderboard:

1. Runs on Version 0.0.1.1 of the game have been placed into a category separate from runs on Versions 0.2+.

2. The In-Game Time now has priority over the Real Time. That being said, the Real Time will still be listed for the full-game runs (or at least for the time being).

3. The Real Time column has been removed from the Individual Level leaderboards.

Granted, there's probably not many people looking at this page much anymore, but figured I'd announce it all officially in case anyone got confused by the changes.