From that link, I used this advice, and it worked immediately.
Thanks!
————————————————————-
Edit wp-config.php
It should be possible to fix the site URL using a new feature –
Add these two lines to your wp-config.php, where “example.com” is the NEW location of your site.
define(‘WP_HOME’,’https://example.com’);
define(‘WP_SITEURL’,’https://example.com’);
That should be it. If it worked, stop reading this page now.
Thanks filosofo for the fix, implemented in 2.2.