Update worked, no obvious problems so far (I had NOT tried the bad 13.2, if anyone is comparing).
Siri still doesn't recognize the radio station WCBM, although I can play it with the Music app. But now, if I transfer that to the HomePod (with the app, haven't tried the proximity handoff), it actually plays there, and not via AirPlay from my iPhone. Not great, but I can live with it, listening to the station I want without having to have my iPhone sucking power as part of the playback. I did find out that another station would work if I said the full "play radio station 105.9 FM WMAL" (I'd asked Siri "what's playing" to get that form of what to ask for).
Using just Siri on the phone and asking for just radio station _callsign_, the text shows it understanding me correctly, but then it will "correct" that to something else, like WBBM instead of WCBM. I think it might reflect the search order of the sources (radio.com, iHeartRadio, and TuneIn, not sure in what order) rather than trying all of them for an exact match. Or else Apple hates on conservative talk radio...but while some of their people have opinions, IMO I've never seen real evidence of such bias from them; so for now, I give benefit of the doubt that there's some other explanation why it won't do what I want.
So...progress, if slower than I might prefer.
edit: FYI, as always, I unpaired the stereo pair, updated them individually, and repaired them after both were updated. A few extra steps compared to just letting it update them all, but it does let me test them post-update one at a time. Even before the bad update, there's a limit to how trusting I'm willing to be, regardless of the company involved; they all screw up sometimes. And with something lacking an accessible service port, I'd just as soon spend a few extra minutes to be careful. The vendor of course should test all the different ways, and with power bumps and resets and such too. But I'd just as soon choose the way of doing it that IMO they're least likely to have messed up, and will always leave me with at least one still functional.
[automerge]1572496648[/automerge]
My hue lights worked fine but one of my Wemo switches doesn’t seem to want to respond. Other than that it seems good.
I just asked Siri the status of one of my iHome plugs, and it answered correctly. So the awareness seems there for those. That's the only sort of HomeKit devices I have, and I didn't actually want to change the status of any of them just now.