[wlesieutre]

Dumb as it is, the quickest way to get a CSV export is probably to make a new document and copy/paste the contents of the sheet into it, then save as CSV and close