I don't see it as quite over the same line. There's something about the snark in the comment I replied to which is a degree worse. The GP was baity but I don't see it as snarky. But I suppose it's close enough that different people could reasonably make a different call.
Hey dang. Just want to say I think the new community guidelines are great and you’re doing a good job moderating HN. I stopped coming here for a long time because it seemed every comment was snarky. Everyone was just so rude to each other. I’ve noticed that has dramatically improved! So, thank you.