Flippant comments like "Did you actually read the PDF?" are exactly the kind of needless small escalations that destroys the tenor of commentary at HN. Any time you write that, you could be writing "It's discussed on page XX". If the comment doesn't deserve a cordial response, then just downvote and move along.
He responded to your points about the linked article. You went back to discussing why his language was out of line. Now you're destroying the tenor of commentary. Just append the etiquette suggestion to your previous post.
You can't edit a comment that's more than an hour or so old. Reasonable people can have disagreement about the ground rules for online discussions, and it's helpful to get everyone in the same page in a constructive way.
