Use filename as filename when exporting, and as title of exported HTML page.