WooCommerce to Shopify migration: building the redirect map with a small script

When a WooCommerce store moves to Shopify, products and customers usually move without much trouble....