Come dovrebbe essere utilizzato il template cart.php di WooCommerce?

Ho installato WordPress 3.5 e WooCommerce 1.6.6 (d'ora in poi WC) e sto utilizzando il tema predefinito Twenty Twelve.

Ho aggiunto un prodotto a WC e quando visualizzo quel prodotto utilizzando il plugin Debug Bar Template Trace posso vedere che viene utilizzato il template woocommerce/templates/single-product.php. Tuttavia, se visualizzo la pagina del Carrello, che è stata generata automaticamente da WooCommerce, viene utilizzato il template twentytwelve/page.php e non il template woocommerce/templates/cart/cart.php, cosa che mi ha sorpreso.

Sono un po' confuso da questo risultato. Il template cart.php non dovrebbe essere utilizzato per la pagina del Carrello? Se no, a cosa serve questo template e in quali circostanze viene utilizzato da WC?