Steve Ballmer’s departure has been a long time coming