Small display bug

Hi there,

A small bug to report:
Sometimes the rank of the best algo is different on the board and in the little "my best algo " box, even after refreshing the page

For example my best algo is said to be #3 but is ranked #2 on the board

Interesting

I had a similar bug, it updated after several hours. Not sure if it really was fixed or something else.

The request to refresh the leaderboard is separate from the request to get your personal high score. I can arrange the code to guarantee they are always called together pretty trivially, so that should go out next week.

I would imagine a hard refresh would fix the problem in the meantime.