I'm really grateful for that! Thanks so much! But that leaderboard feature was Forky's idea, and it took me a while to implement it—but I can see now that I should have focused on implementing it sooner; people were really excited about it.