We had tag-stats (25) to refer to the original page for Tag Stats. However, with the tag pages being expanded, it was renamed to Top Users. There's a new tag brewing called top-users (5) which is used for this.
The mechanisms are identical, save for a few out-dated questions that refer to old functionality of the tag stats. These were out-dated before we even moved from tag stats to top users, however, so I believe it is a safe merge. However, this can't be done by regular users due to the currently exponential relationship between the tag counts.