I'd say Microsoft has deliberately lined this up with the "AI boom" as a way to reduce headcount, without the PR hit of reducing headcount.