I appreciate the good intention, but it's still unsubstantive and needlessly personal. If you get to the point of posting about how condescending someone else is, you've left the path of the guidelines: https://news.ycombinator.com/newsguidelines.html. It's also just off topic and uninteresting.
So posts that just point out potential condescension are not welcome here? Do you know if that would also apply if it was part of a larger on-topic post?
It's just irritating to see the condescension and repeated imputing of motives of other commentators go unchallenged. It's rude and disrespectful. Does HN have some other mechanism than peer commentary for dealing with rudeness?
Sure. We spend days and often also evenings asking users here not to be rude. We can't come close to seeing all the comments, though. If there's a post that you feel particularly deserved moderation and we missed it, the likeliest explanation is that we didn't see it. You can always let us know by flagging the comment (see https://news.ycombinator.com/newsfaq.html#cflag) or by emailing hn@ycombinator.com.
If you're going to react to rudeness and so on by posting replies in the thread, though, it's important to do it in a way that doesn't break the guidelines yourself. Otherwise this place just gets worse.
https://news.ycombinator.com/newsguidelines.html