Leaderboards on mobile phone

It makes sense I can’t play >_TERMINAL on my phone, but I’d at least like to see where I’m on the leaderboard.

Currently, we are not looking into optimizing any aspect of the online experience for phones, as we don’t expect many users to attempt to use our site on mobile. It would likely be a relatively expensive feature and we have a large number of priorities right now, so we have no plans to work on a mobile site