

Well, I gotta point at PTB on this one, despite generally being okay with preemptive bans.
I’m not saying that an admin shouldn’t be able to do this; they take the risks and hassles of making the fediverse function, so they get some leeway before PTB can be fully applied.
But there is still a range of ways to execute this kind of decision that aren’t cool. Making it personal is right at the PTB side of that range.
As an example, if I wanted to ban you from southsamurairocks.edu because I didn’t agree with your beliefs, and the hassles that might come from them, or your reputation, I think it would be my obligation to give that as the reason, not just the fact that it’s you. It crosses the line from making a measured policy decision into just being a dick without the guts to just be a dick outright and honestly.
Like, if we had beef, and that’s why I ban you, I’m going to publicly state that I don’t like you, and thus don’t want you in my instance. Not just be snarky by using your name as shorthand for it.
It’s the smugness of it that makes it PTB instead of a legitimate preemptive ban. Nobody has to let anyone onto their instance if they don’t want to. But you gotta be up front and detailed about it if you don’t want to be the asshole.
Well, calling it misogyny isn’t a directly accurate issue, though if you step back a ways, the connection is there. Part of why Hillary caught so much shit was the fact of her being a her in the first place.
However, the joke has existed for decades, long before she was a relevant name in the public consciousness. I’ve heard or seen it applied to politicians since the eighties at least, sometimes with long ex presidents. Hillary wasn’t the first woman to catch that kind of generic joke, Geraldine Ferarra (spelling?) was the target of pretty much every cookie cutter joke like that, and she was nowhere near the hot target Clinton still is now (even after the collapse of her public influence). So there’s room for debate on the joke itself being misogynistic.
But the mods in question definitely nailed that it’s a stupid, unfunny, cookie cutter joke. It’s the kind of unfunny crap people complain about being subjected to at holiday gatherings by an asshole relative that can’t drop their identity politics long enough to be decent company at fucking Christmas.
Also, backhanding the back of someone’s head is an awkward movement when both people are seated close enough together to talk, and it makes this specific use of the joke format fail hard because it engages the logic filters, so if you’re going to use it in the future, consult a professional joke crafter.