I'm not going to make a bot to constantly check this, so this resolves based on whether I notice it myself or someone else points it out to me.

If the number of users displayed on the leaderboard changes, I'll stick with the top 20.