Please don't respond with swipes or provocations, even when another commenter is wrong or you feel they are. It's easy to see how that last bit would end up taking the thread to a worse state, and your comment would be just fine without it.
Yeah, I was grumpy. I took a nap and came back 6 hours later and went "that wasn't fair, I should remove that last line"... But the option to edit was gone.
https://news.ycombinator.com/newsguidelines.html