[jorams]

I don't know if you missed the news but the board removed him and he retired[1] about a week before this tweet.

[1]: https://news.ycombinator.com/item?id=42296067