What makes you think Guido would have any degree of influence on microsofts decision here? He doesn't get final say on business objectives, his role is to continue contributing to python while working under the Microsoft umbrella so it brings them good pr. Him leaving would hurt that PR but this is a corporation, they don't give a sh*t so long as the green keeps rolling in. Same thing happened with John carmack and oculus/meta. Don't trick yourself into thinking these guys are hired because the company sees them as indispensable, its just a pr act.