Thanks for sharing. After reading that comment, I realized we should encourage ourselves and others (who are more or less civilized human beings) to be the kind of person who wrote "that's a good thing..." - because fighting trolls is a game with unknown results, but encouraging people works much better. It doesn't always work, though, because sometimes the platform's nature prevents it. Like on Stack Overflow, where commenting on reactions will probably get you downvoted for being off-topic.