jgarzik is not currently a mod, the same way that MiningBuddy is not a mod or the newbie section. If you look at each of their profiles, you will see they do not have a staff title. Listing someone as a mod of a section is different than someone actually having mod authority over the section. For whatever reason, Theymos has not removed their names from the header of the sub.