Rankings are back!!

I don't really understand how the internal ordering between people of the same level is done. It's certainly not by exp. Two possible reasons:
1) Their software still orders level 200+ by time (i.e., the order in which the level was reached), or
2) Their software can't compare 64-bit integers properly.

#3, they didn't give a secondary (tie breaking) order by and it's ordering by the natural key; userid. (effectively order by level, creation date)