it’s better to be specific and ban the obnoxious things trolls do instead of trying to speculate about their state of mind.

I couldn’t agree more with this.

The difference between a troll and a genuine poster is intention - but nobody knows someone else’s intentions. And mods should not act based on what they don’t know.