Naming them grants them glory as martyrs, especially when the subreddit's name is a google-unique term that they can use to regroup and to attract supporters to their cause. It's already too late for the top 10, but that's no reason to give the rest a free boost.
Theoretically, I can see why that would be distressing as an end-user, but wearing my platform operator hat^, I can't think of any way to implement that doesn't result in either driving traffic to competing platforms, assisting rulebreakers in their inevitable quest to rouse a pitchfork mob against their own platform, and/or is interpreted to be saying that users are bad for having subscribed to banned content.
