It says (https://support.mozilla.org/en-US/kb/exporting-your-pocket-l...) there is supposed to be an "Export HTML file" button, I only see export CSV file. Wrong documentation?