Oh right, I should probably commit this. Making lots of changes to make the leaderboard a class
Using new class functions. Should be much faster.
Continuing work on classes
Nearly done, now
Updating to the new class functions
a bit of clarification/warning in the comments
Almost there. Leaderboard is sorted. For some reason, it's not adding comments.
Finally, fixed the problem with high score notifications
What? No. That doesn't even work. That does the opposite of working.