Permalink Manager for WooCommerce v2.3.0