Apple’s Siri chief has departed, and that may be a good thing