Okay, fact updated. Doesn't change his point at all. I don't see the "goodbye peter" blog post though so not sure how anyone would know he left.

https://blog.ycombinator.com/welcome-peter/