At every branching point in history, we have indisputably lost the result of the branch not taken. But... what's your point caller? That fact by itself is pretty meaningless.
Contrary to the point of view that somehow Microsoft changed everything, what surprising is how much they didn't change or might not be different at all... Jens Bergensten is today's Chief Create Officer at Mojang... but he's not a Microsoft plant, he's been there since 2010 and, moreover... " After the full release of Minecraft (1.0.0), Persson transferred creative authority of the game's development to Jens Bergensten, afterwards continuing to help out with Minecraft while also working on new projects." (https://minecraft.wiki/w/Markus_Persson) That happened in 2011 a few years before the Microsoft acquisition. As far as I can tell, there is a significant representation of pre-Microsoft Mojang staff that still exists within the company; sure there are many more people that have only been there since the Microsoft acquisition, but that seems to be a function of growth and resource availability more than some imposed change of direction.
So actually, I'm not sure what we've lost here. Pocket Edition, later to become Bedrock and upon which Minecraft Education is based, was well underway prior to the Microsoft acquisition. That ship sailed while Notch still owned the company. Outside of the Microsoft account and chat reporting requirements, which clearly were Microsoft driven, it's difficult to really see how different things would be. Arguable Jens might have been reeled in more by Notch, but my bet is that Notch was paying more attention to his 0x10c by 2012 and Jens would have had pretty substantial creative discretion by that time.
Contrary to the point of view that somehow Microsoft changed everything, what surprising is how much they didn't change or might not be different at all... Jens Bergensten is today's Chief Create Officer at Mojang... but he's not a Microsoft plant, he's been there since 2010 and, moreover... " After the full release of Minecraft (1.0.0), Persson transferred creative authority of the game's development to Jens Bergensten, afterwards continuing to help out with Minecraft while also working on new projects." (https://minecraft.wiki/w/Markus_Persson) That happened in 2011 a few years before the Microsoft acquisition. As far as I can tell, there is a significant representation of pre-Microsoft Mojang staff that still exists within the company; sure there are many more people that have only been there since the Microsoft acquisition, but that seems to be a function of growth and resource availability more than some imposed change of direction.
So actually, I'm not sure what we've lost here. Pocket Edition, later to become Bedrock and upon which Minecraft Education is based, was well underway prior to the Microsoft acquisition. That ship sailed while Notch still owned the company. Outside of the Microsoft account and chat reporting requirements, which clearly were Microsoft driven, it's difficult to really see how different things would be. Arguable Jens might have been reeled in more by Notch, but my bet is that Notch was paying more attention to his 0x10c by 2012 and Jens would have had pretty substantial creative discretion by that time.