Folks: please don’t quote troll posts. It makes it kind of difficult to delete them, if they’re quoted a dozen times by other people. If you want to say something to a troll, please use the ‘Reply’ button instead, which does not include a quote from the comment.