Changing Site URL in WordPress

Sometimes one needs to change the WordPress settings (Home and Site URL) so it'll display correctly after the site's URL has changed.

The procedure is documented here:
https://wordpress.org/support/article/changing-the-site-url/