It still has a leaderboard. If the mods add it, great. If they don't, use that instead.

That doc is way more comprehensive than anything that would be on the site. You shouldn't worry about where a leaderboard is hosted anyways, just the fact that it exists.