TLDR Someone posted something particularly nutty, and a lot of other people started shouting 'ban the witch slanderer!' I don't remember the exact issue. I think it was someone who got pissed off at losing an argument, and made a post saying "UserX is a pedophile." And a bunch of people were like "Libel! Ban him!" Ironically, the targetted user was very mature about it, and didn't actually care.
While an admirable sentiment, the tricky part is that a vaguely skillful troll won't make that play unless they're reasonably certain it'll be effective. So if everybody can be more mature than the troll, it's a win. But if everyone were more mature than the troll, there never would have been fisticuffs in the first place.
I had a feeling it was you in this argument. I honestly think most people don't go into things trying to troll, they just adopt that role when they realize there is no other way out except admitting they were wrong. It's essentially the slightly more grown up version of " ya... well you smell !" Granted I didn't see the fisticuffs in this particular argument but I feel like there will always generally be a little once the troll snaps since it's already part way into an argument. So I don't think they had a plan, I think they just got angry and started calling people pedophiles. I guess I have less faith in a trolls ability to think through their actions.