I already posted this question on the official Discord, but how about adding Mobile leaderboards?

Sure, maybe part of the IL leaderboard.

I like running levels on mobile a lot more than on computer (mainly because the keys aren't very good) so that would be a nice edition.

I added it as an IL category.