Default Dateinamen festlegen, der für "speichern unter" einer html Seite benutzt wird

[Raketenwilli]

Da ich wie beschrieben einen für mich funktionierenden Weg gefunden habe

Naja. Es gibt immer mehrere Lösungen. Deine gefällt Dir? Dann bleibe doch bei Deinem „bösen Workaround“, also per JS den document.title zu ändern. (Was ist daran unter den gegebenen Umständen eigentlich „böse“?)

(Meine Idee finden dann womöglich andere interessant, welche nach den Begriffen und eine ähnliche Lösung suchen. Übrigens kann man die auch mit JS an eine Tastenkombination binden…