Comment by Joakal

There are many strategies in fighting trolls. Ghost bans, peer pressure or peer effort (downvotes). Make them think they are doing something.

My formula for dealing with trolls: Troll effort > Self effort.