i've been thinking of getting back into playing this game again after a loooong time. I was just wondering whether IL leaderboards exist (as in times for single tracks) as i don't really fancy doing hours long runs of the full game tbh.

clarification on the rules in general, specifically proof standards, would be helpful aswell, thanks

The game's page should get a makeover soon and IL are probably going to be included!