Getting WooCommerce data out for a Shopify import: products, variants, customers and orders

Moving a store from WooCommerce to Shopify is mostly a data job. The theme is the visible part, but the work that decides whether launch day goes well is getting products, variants, customers and orde