The comment was sarcastic and hostile and dismissive of his point. It may not be incorrect, but it's the kind of thing I'd expect to see on /r/politics and come to HN to avoid.