The only way to really manage trolls is active moderation. So it's out of our hands, really.