Sort minigame leaderboard by score

[Mikusch]

Title. Right now it’s sorted by the time you joined the game.

[PoliteWhale]

I’m pretty sure this is a planned feature at some point, so I wouldn’t overthink it for now.