I'd find this to be the most likely scenario, have met lots of Microsoft employees and a surprising number of them were on board with open source + acknowledging mistakes. I'd love to think that it wasn't his performance that drove Ballmer out so much as his mismatch for the actual corporate culture of those beneath him.