Will Microsoft’s new boss be the same as its old boss?