[mccon104]

I'd say your response added just as much noise and introduced a degree of intolerance not necessary to the conversation. Let the non-helpful comments die a silent lonely death, no need to get haughty about it.

[andybak]

Fair point. I spend too much time at Reddit and sometimes forget which tone is appropriate.

and I'd hate to contribute to making HN another Reddit...