We made a mistake and published a list of top 100 commenters, not leaders. But we'll be updating this in a moment.

Sorry for the confusion.