Pavitra comments on Leveling IRL

[Pavitra]

That’s probably mostly right. It does mean that public leaderboards are unlikely to help, though.