Thanks! I played that level ages ago and forgot all about it. It must have been hiding in my brain as I made this game.
From a technical standpoint, I used SilentWolf https://silentwolf.com/features for the leaderboard system. It was easy to implement!
I was worried about letting players enter their names, so I keep the leaderboard anonymous. You learn your ranking, but don't see any names.