Binary exports save the cart as a p8 file when you press ctrl-s.
Html exports only say they did.

I guess this was overlooked?