Cambiar el texto de Mi Cesta en el encabezado del tema Artificer de WooCommerce
Estoy usando WooCommerce con el tema gratuito Artificer y estoy intentando cambiar el texto de Mi Cesta y Checkout que se muestra en la imagen:
He buscado en los archivos de localización cualquier cadena que coincida con Mi Cesta (todas las variaciones posibles) y llegué a la conclusión de que no es posible traducir esto usando el archivo de idioma. Como esta información de la cesta es visible en todas las páginas, revisé el archivo header.php en la carpeta themes/artificer y comparando con el HTML generado (usando las herramientas de desarrollo de Chrome), creo que el resultado está controlado por esta línea:
<?php woo_nav_before(); ?>
Sin embargo, he pasado un tiempo considerable buscando en Google y en los archivos de plantilla dónde se define esta función pero no logro encontrarla. ¿Podría alguien indicarme la dirección correcta?

Las funciones están definidas en la carpeta includes
del tema artificer, en el archivo theme-woocommerce.php
:
// Añade el enlace del carrito al encabezado
add_action('woo_nav_before', 'artificer_header_cart_link', 20);
if ( ! function_exists( 'artificer_header_cart_link' ) ) {
function artificer_header_cart_link() {
if ( class_exists( 'woocommerce' ) ) { echo woocommerce_cart_link(); }
}
}
// Añade el enlace de pago al encabezado
add_action('woo_nav_before', 'artificer_header_checkout_link',10);
if ( ! function_exists( 'artificer_header_checkout_link' ) ) {
function artificer_header_checkout_link() {
global $woocommerce;
?>
<a href="<?php echo $woocommerce->cart->get_checkout_url()?>" class="checkout">
<span class="lozenge"><?php _e('Finalizar compra','woothemes') ?></span>
</a>
<?php }
}
function woocommerce_cart_link() {
global $woocommerce;
?>
<a href="<?php echo $woocommerce->cart->get_cart_url(); ?>" title="<?php echo sprintf(_n('%d artículo', '%d artículos', $woocommerce->cart->cart_contents_count, 'woothemes'), $woocommerce->cart->cart_contents_count);?> <?php _e('en tu carrito de compras', 'woothemes'); ?>" class="cart-button ">
<span class="label"><?php _e('Mi carrito:', 'woothemes'); ?></span>
<?php echo $woocommerce->cart->get_cart_total(); ?>
<span class="items"><?php echo sprintf(_n('%d artículo', '%d artículos', $woocommerce->cart->cart_contents_count, 'woothemes'), $woocommerce->cart->cart_contents_count); ?></span>
</a>
<?php
}
edición: Me di cuenta de que en realidad hay un archivo de idioma adicional que causa la traducción del texto "2 artículos" en mi imagen. Estos archivos de idioma están en el tema artificer dentro de la carpeta lang.
No lo había notado antes hasta que usé el plugin CodeStyling Localisation.
Sin embargo, no he podido traducir "Mi carrito", así que lo cambié manualmente en el archivo theme-woocommerce.php
.

Pude cambiarlo modificando lo siguiente a continuación:
Mi Carrito - <?php _e('Mi Carrito:', 'woothemes'); ?></span>
Artículos- title="<?php echo sprintf(_n('%d artículo', '%d artículos', $woocommerce->
Pagar- <a href="<?php echo $woocommerce->cart->get_checkout_url()?>" class="checkout"><span class="lozenge"><?php _e('Pagar','woothemes') ?></span></a>
