Unfortunately to my eyes the comment that dang thanked looked like it was a rather passive aggressive put down. Especially in the context that the OP was <i>not</i> being petty but was raising an important point in a measured way.<p>EDIT
Civility is important but it should not be confused for everyone having the same point of view on a topic. And censorship by &quot;civility&quot; causes people to not join discussions. When I come to HN I want a intelligent but lively discussion. However, some issues have reached such a consensus such that even well thought out opposing views put politely get heavily downvoted.