Those were griefers, not trolls. Trolls do it for the kek but griefers go for the neck. When I troll it is only ever for fun and profit with the only goal being that of enacting some kind of Socratic realization or interaction, but never with the intent to harm somebody emotionally. It's fun to poke, that's what trolls do: griefers don't poke, they stab. Sarcasm and satire are the mainstays of the troll. Personal attacks and such, however, are the M.O. of the griefer. Don't throw the baby out with the bathwater, there is a difference. Dissent is vital, though understandably a bit unpalatable. I hope one day there will be a widespread understanding of the difference between these two distinct, but superficially similar species and the importance of the one, and the subsequent need to recognize and handle the other.