At any rate -- it's now working with both users. I think it was a reset and re-pair that did it, but who knows? (In fact, it switched to my wife's profile when we got back into the car after going somewhere, and I was able to switch it back, and CarPlay started for both profiles).