Some context in the previous thread on Tollef's resignation https://news.ycombinator.com/item?id=8615962