That page doesn't include any admins. The page is defined on line 2258: (newsop leaders () (leaderspage user)) Leaderspage is just below: line 2262. The line w

That page doesn't include any admins. The page is defined on line 2258: (newsop leaders () (leaderspage user)) Leaderspage is just below: line 2262. The line we're interested in is line 2266: (each u (firstn nleaders* (leading-users)) This line says "for each of the first nleaders* in the list returned by (leading-users), do the following:". Leading-users is line 2276. It returns a sorted list of users by karma. When looking at a user and deciding whether to sort em, it asks two questions: "does this user have more karma than the constant leader-threshold*?" and "is this user not an admin?" So if you ever find a user who has more karma than whoever is the last user on the leaders page, but isn't on it, either you've found an admin, or the code running this site has been changed from the 3.1 release.