glen, on 2013-July-30, 13:14, said:
I don't think the mods (whether volunteers or staff) should honour the trolls by spending their resources on editing their posts. If someone posts a single TOS-violating post, the time it takes to delete it is plenty - actually since they also have to write about it in the notice thread, it is more than plenty.
Of course editing is praisworthy when someone makes an otherwise valuable post containing a TOS-violationg in an isolated sentence. But ...
And if someone posts dozens of TOS-violating posts then again, I don't think mods should spend resources on things like grace period, justifying the actions elaborately etc. Just give the troll a single warning and ban him/her next time.
But OK it is their decision.