Folks, I really, really appreciate it when bad actors are brought to my attention. It happens infrequently, given the volume of traffic here, and I have a small bag of tools for dealing with them. It hasn't, knock on wood, been much of an issue.
But my opinion is that we should refrain from rising to the bait on the site. Most trolls are just out for attention, so yelling at them leaves them emboldened, not chastened. Though of course everyone is free to say what they will, and do what they want (except for the trolls, who I will nuke). And if anyone has any other suggestions, feel free to chime in here or let me know directly. Thanks.