Perhaps he was involved, if not leading many of the developments while Ballmer was running the show?