It's often said that if we stop responding to trolls they will get bored and go away. Not sure that works, some seem very persistent.