4 ways to deal with trolls (although I'm only recommending three)