nicht angemeldet
[...] "kompilierten HTML-Datei", so wie die Hilfe unter Windows. Ist das Format Windows-proprietär oder "allgemeingültig"? Das weiß ich leider nicht.
Das ist zwar IMHO ein ungeheuer praktisches Dateiformat, aber - wie du schon vermutest - eine proprietäre Sache von MS.
Schönes Wochenende,
Martin