I am just going with plan B (ie skip the upgrade), due to time constraints.
After reading your links though, I’ll note I manage plugins with wp cli, which I *think* is just a wrapper for WP internals, but possibly there is a possum in the woodpile there.
I’ll start a new thread if this crops up again.
Thanks.