@jalcine How has he left? He works at MS now ... And has been active in getting C#, .Net Core, Xamarin open sourced, and developed in the open. The he no longer is in the GNOME Foundation or .Net Foundation boards is a good thing. He's made space for others, unlike some Dicks.
I've been pointing to him as the sort of leadership we should collectively want since the mid-1990's. I stand by that.