Nah, the single biggest customer is the US Government, and the US Government buys Red Hat. I mean, Uncle Sam will forego machine learning optimizations that ship out of the box in Ubuntu and thus walk away from entire product lines simply because Red Hat has a better STIG. There was no way Microsoft was going to risk that.