It would be useful to have the title of exported HTML document the same as the `

` of the document, but the filename to be the slugified version of the `

`. For the filenames to be URL-friendly, it is best to have everything lowercase, dashes instead of spaces and punctuation, and no diacritical symbols.

At least there could be a separate field for the HTML `` in the export function.

Locate the HTML export function and trace how the document title and output filename are currently chosen. Confirm that the HTML matches the document’s <h1>, while the filename is a lowercase, dash-separated, punctuation-free slug without diacritics; add coverage for these cases if the export tests are found.

Written by the indexing model from the issue text.