Wrong MIME type in exported HTML files

Steps to reproduce

The following works in Firefox; I did not check in Chrome yet.

  1. Configure your browser to ask you where to save downloaded files.

  2. Go to “☰ → Export … → Formatted”, starting from the context menu of any node in a Dynalist document.

  3. Click “Download as file” and wait for the popup to open that asks you where to save it.

Expected result

The download popup should identify the document as “HTML document”.

Actual result

The document is identified in the download popup as “plain text document”. That’s the wrong MIME type.

Environment

Latest Firefox on Ubuntu Linux 19.10.

Additional information

In Firefox, the behavior described above has the following undesired effect: when clicking on the downloaded file in the browser’s list of finished downloads, Firefox will open the file in a text editor rather than in a browser tab.