That's fine; so he'll get downvoted. He'll either stop contributing, or he'll realize why he's being downvoted and change his tone. I've seen it happen dozens of times on HN; many people are willing and capable of adapting to a community.