That's not snark, that's just taking their argument to its logical conclusion. Big difference.
But the comment was clearly using sarcasm as an internet hammer, which is what that guideline is asking people not to do. It's bad for curious conversation, which is what we want here.