Very cool HTML port of this game, I managed to play through it entirely. The online leaderboard is also a cool feature, I would like to add something like that to my own games too. I was wondering the leaderboard part of the itch.io API, or is it hosted on a separate server?