This leaves out a significant share of how moderators use the API, which is for bots and external services that augment moderation without actually doing the moderating.

Example, a mod at /r/music remarked last week that they’ve been paying a few bucks a month to host a server for some additional features for years. It’s common to use some automation to summon mods in a discord so someone near a computer can execute the moderating, since the mobile tools are so limited.

And ofc as other uses pointed out, that’s 3% of a sum including the vast number of auto moderator mod actions taken on the site, which are not really human originated at all.