Cambiar el nombre de las pestañas de producto en WooCommerce