It does mention wireless CarPlay in the section labeled "Fine-tuned navigation system":
Meanwhile, with wireless Apple CarPlay, iPhone apps are now available in the Porsche Communication Management (PCM) system via a wireless connection.
Yep, I did the "two-finger salute" to get to the engineering screen and chose "restart" from there.
And oddly enough after my original post, *NOW* SXM is working for me again . Don't know whether it just took that long for the "entitlement" to be set up again, or what.
For me, the SXM button comes up gray after reboot and stays gray. It never shows as "enabled". At this point I've tried rebooting 4 or 5 times with no change... so I guess I'll be using Apple Music as a substitute until there's an OTA update that restores SXM.