This. The way to treat trolls is to make fun of them mercilessly until they slink back under their bridges, not engage them as if they are serious. They thrive on the attention you give them by arguing back. They have no recourse against mockery.