OGS has leaderboards on the main page: https://online-go.com/leaderboards

What do these show, and does anybody know why?

My initial thought was that they’d be the top players by rating for each game type, but that doesn’t seem to be the case, as there’s a 5k at the top of the “overall live” ratings. Number of games doesn’t seem to be a deciding factor, either, as there’s lower rated players with fewer games ranked above higher rated players with more games.

There IS a number next to each person on the leaderboard, but I have no idea what they correspond to. Sadaharu is “11.87” while wegro is “6.323”, but these don’t correspond to anything visible on player’s profiles. Furthermore, for Live 13x13 and Blitz 9x9, everyone’s got a mystery ranking value of 0.00.

What does this page show? Is there some magical formula for calculating these, somewhere? Does it have something to do with the ladder? Perhaps adding a description somewhere on that page would be helpful…