[StilesCrisis]

"Not retiring. (...) He was quitting." -- is there even a functional difference here? It's not like he went on to become BDFL of a different language.