No, because it wasn't personal. I agree with you that that phrase was irritating, in an otherwise fine comment. But that's not enough to pass the moderator-speaking-up threshold. Imagine how many moderator comments there would be in that case. :(

I wish there were a way for users to suggest edits to each other's comments. My bet is that most of us have no idea when our comments include superfluous stuff that could easily be edited out. Suppose there were an easy way to send pull requests on comments. One could look at the diff and, if it improved the signal/noise ratio, simply accept the changes.

HN needs more sober second thought.