Tandem

Thank you Mike, changing the line #33 in admin/woocommerce-admin-functions.php
and lines #28 and #37 in admin/woocommerce-admin-install.php got rid of the errors in step 6.

Will this bug patch be included in the next release of WooCommerce?

Mary I of England more likely

Vivat Regina

The suggestion was to make the migration of a WP site between different locations easier by making the extra step of find and replace through the DB unnecessary.

The site admin should be able to move or copy WP site from one server to another by just copying the file structure, exporting the DB and changing the DB info in the wp-config.php file.

I am not sure what you mean by: ‘The rest are generated from your database’.
WP uses absolute URLs for everything. I am working on a simple site with 13 pages, no posts, only few images and internal links, yet the DB has 400+ occurrences of https://DomainName.com

Every time you move your site you have to do a mass find and replace for anything to work in your new location.