Magic Leap has a new CEO | TechCrunch