Don’t worry too much about trolls like this. They can only be dealt with via moderation, don’t stress yourself too much, it’s what they want. They’re dumb and probably more unhappy than both of us together.