At the moment this can cause the ranks on a player's page to not be up to date. E.g. it can show #1/4 when you're actually #2/4 now, and so forth.

Fixed for now. Clears all the ranking pages cached when a new record is set. In the future will need to regenerate in the background e.g. every 15-30 minutes or so. But for now it works fine this way.