I'd strongly recommend people read through mods' "no personal attacks" admonishments and the comments to which they're responding to. These often make the point that even a very mild (and unintentional) barb can read far more biting than it was written:

<https://news.ycombinator.com/item?id=25982286>

This case is borderline, but I suspect mods would find it on the far side of that border. The original comment reads better without the swipe.

Eh actually, on review of all the material, I fall more on your side. The original comment did have a (very mild) personal attack in it at the end of the day.