in the first of a series of expected external hires, Musk names Leeroy Jenkins as head of release planning and management