Text aus externer Textdatei einfügen und Darstellung ändern?

[Mitleser]

„Das volle Programm“ besteht in diesem Fall aus sechs Zeilen JavaScript plus erläutende Kommentare und anschließende Diskussion. Das erscheint mir zielführend und mit Blick auf das Archiv auch als erstrebenswert.

Wäre die zeitiger und kompakter gekommen: vielleicht. Allerdings ist das Problem dann doch (für Anfänger) hinreichend kompliziert. Wird ein Anfänger(ein von Google kommender Newbie) da durchsteigen? Hat der OP skizziert welche Browser er erreichen möchte? Aus den sechs Zeilen können schnell mehr werden: es wird noch komplizierter.

Nicht hilfreich erscheint mir eine unkommentierte Lösung, die eine zusätzliche Bibliothek erfordert und den zusätzlichen Nachteil mit sich bringt, dass das jQuery-CDN verfügbar sein muss und damit auch eine Internet-Verbindung.

Stimmt. Jetzt wägen wir mal die Gefahr des nicht verfügbaren CDN mit der Transferleistung der zur Vermeidung nötigen dezentralen jQuery-Einbindung ab. Da kann man geteilter Meinung sein. ACK.

Was ist deiner Meinung nach an der Vanilla-JS Lösung Müll?

Überhaupt nichts. Zunächst: Repsekt vor Deiner Mühe. Der Sarkasmus in meinem Post ging auch keinesfalls gegen Dich persönlich, im Gegenteil. Aber durch die Zersplitterung über die vielen Posts ging mir Deine - eigentlich richtige - Intention völlig verloren. Daher erschien mir der "Hammer" mit dem dreizeiligen jQuery-Snippet angebracht.

Wird ein Newbie durch das Lesen des bisherigen Threads sonst schlauer? Wage ich zu bezweifeln.

Ja, die Vanilla-JS-Lösung ist "reiner". Ob Sie einen Newcomer aber wirklich hilft? Ich bin da skeptisch. Sie bleibt für den Kenner "reiner", aber beide Varianten werden für den den Google-Newbie ein großes "?" übrig lassen. Das ist keine Frage Bibliothek vs. Vanilla.