@freemo Some news stories say it was mutual, some say he was fired and it's being presented as mutual. I've not seen any story say that he quit. But perhaps he did.