Cum ar trebui folosit șablonul cart.php în WooCommerce?

Am o instalare proaspătă de WordPress 3.5 și WooCommerce 1.6.6 (WC de acum înainte) și folosesc tema implicită Twenty Twelve.

Am adăugat un Produs în WC și când vizualizez acel produs folosind plugin-ul Debug Bar Template Trace pot vedea că este utilizat șablonul woocommerce/templates/single-product.php. Cu toate acestea, dacă vizualizez pagina Coș, care a fost generată automat de WooCommerce, aceasta folosește șablonul twentytwelve/page.php și nu șablonul woocommerce/templates/cart/cart.php, lucru care m-a surprins.

Sunt puțin confuz din cauza acestui rezultat. Nu ar trebui ca șablonul cart.php să fie folosit pentru pagina Coș? Dacă nu, pentru ce este acel șablon și în ce circumstanțe este folosit de WC?