Didn't IBM put Red Hat in the CEO chair some time ago after the acquisition?