The export button which saves the simplified version uses the same filename name as the regular save file. It would be better if it used a different file name since it's a different format.
I agree with this proposal.
