I think you're vastly underestimating the business acumen of Ballmer. His personal antics and lack of filter notwithstanding, he (and not Satya) is the only reason why Microsoft is a $1T+ company today: he was the one who started Azure and SaaS/subscriptions at Microsoft.