@makeworld I never understood how people could think that him "leaving a leadership role" made the project "okay". He still had stake in the technical layers and had a huge influence on the culture. It felt a bit too optimistic to me. I find this development unsurprising.