I understand that official levels is more stable and quicker, however I feel a category for every level could be interesting as an extension.

Probably going to do that for category extensions one day.

welp i decided to do it for the original leaderboards.