As silly as tptacek's response was, the bigger take-away from your comment is that pg needs to take it easy with the trigger finger. The moderation here is ridiculous.
I felt that it was a silly and a sarcastic reply and I sure hope its not hell-ban worthy of tptacek or anyone for that matter. Especially on Friday.
Everyone just needs to take it a bit easier (c)
Maybe you expected him/her to be excited about the exit but that not being the case does not mean you should have repled with 'rude sarcasm'.
You could have used the opportunity you used to respond to learn about competitors in the space however you chose this route.
I have noticed several senior (by karma) HN members that take an unecessary offensive approach towards comments that do not "tow the line".