I am using keyv for my discord bot\'s economy (questionable, I know), and I wanted to make a leaderboard, however, keyv does (not yet) have a get all keys function. So I was
