Elop making headway in Microsoft CEO market, but drama’s afoot