you said, “I vote for a troll policy.”
a couple weeks ago, i mentioned my personal troll policy – ignore them.
once i notice repeated troll behavior, i simply DO NOT INTERACT WITH THE TROLL IN ANY WAY.
responding to trolls, arguing with them, answering them – whatever – only stimulates them. they seem to be strongly stimulated when you use their name. best to avoid that. if they get no response, they get tired and bored. they move on to bother someone else, somewhere else. not a perfect solution, but good enough.
TROLLS FEED ON ATTENTION.
DON’T FEED THE TROLLS, THEY MOVE ON.
this is my personal policy, and i recommend it to others. i like it better than having a formal policy for the group. that would require giving someone censorship – like powers. i really don’t like that idea.