They announced the retirement 5 months ago: https://news.ycombinator.com/item?id=7891171