[Snippet] Rename Tabs on WooCommerce Product Page