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.
My formula for dealing with trolls: Troll effort > Self effort.