If you intend to tickle his funny bone, you may as well tickle him to death. Personally, I think ignoring some comments is a more understanding response.
Bump to that! Trolls can FOAD.
Yes, Quix is right. Let us all ignore such provocateurs. They have been in and out since day 1; and they have been here on FR overall since day 1 as well. Free Speech is cool; and so is the act of ignoring sometimes. We do not need any rancor here; we are too busy. That person voiced their opinion because they felt a deep-down need to do so; most folks who feel the same would simply bow out of the thread silently and move on. But we know that FR has such personality types galore. So let's forget it. We have better things to do here!