Thank You, Everyone!
The solution turned out to be the “Manual update” procedure at
https://codex.wordpress.org/Updating_WordPress
A modest pain in the patoot, but that did the trick. Everything on the blog is there, but as suggested, I’ll be making MUCH more frequent backups 😉
