Hmm, habe das mal kurz getestet… (Linux, Gnome Desktop, Firefox) Wenn ich eine HTML Datei via “three dot”-Menu herunterlade und auf dem PC speichere, kann ich sie danach direkt via Doppelklick öffnen. Sie hat keine .txt Endung. Wenn ich im Browser “öffnen mit” auswähle, ist zwar standardmässig der Texteditor ausgewählt, ich kann aber manuell unter "öffnen mit → “Andere” den Firefox oder einen anderen Browser auswählen. Dann wird die Datei in einem neuen Tab bzw. in dem ausgewählten Browser geöffnet und auch korrekt dargestellt.
