ParentFull threadmb7733·I guessed this was about Strang just from the title! I hadn't heard about his retirement.View on HN