Apple Veteran Named PayPal’s First Head of Open Source Software