Caching order-received page

Hi,

I note this WooCommerce docs page (https://docs.woothemes.com/document/configuring-caching-plugins/) states that Cart, Checkout and Account pages have the DONOTCACHEPAGE constant set, but what about the order-received page? Does this have the DONOTCACHEPAGE constant set too?

If it doesn’t, why not? I can’t imagine why this page should ever be cached.

I have has several WooCommerce users have problems with orders not being marked as paid, or the order-received page just breaking entirely.

Enabling the ‘Do not cache pages with GET parameters’ setting in WP Super Cache usually resolves it (or adding an exception for the page slug order-complete).

But, surely WooCommerce should do this automatically?

Thanks!

https://www.ads-software.com/plugins/woocommerce/