Just ignore him. I'm a little sad to see the comment get so many replies, instead of simply being downvoted into oblivion.

I'd love if we as a community could endeavor to give troll responses like that as little attention as possible.