feat: Etherpad-Anbindung ausgebaut (D78)

D31 lieh sich fuer die Echtzeit-Zusammenarbeit ein Etherpad: Das Pad war die
Schreibflaeche, Werkbaum die Ansicht. Richtig fuer den Zeitpunkt - die schwere
Arbeit war dort getan, und Werkbaum hatte kein Backend. Jetzt hat es eins
(D76), das dasselbe besser und im Editor selbst kann.

D31 bleibt stehen: Was dort gemessen wurde, ist der Grund, warum die Anbindung
nie gut wurde - Export-Drosselung (10 je 90 s), SameSite=Lax beim
Autoren-Cookie, abgelehnter Socket-Upgrade. Uebrig blieb ein Neu-laden-Knopf
und ein schreibgeschuetztes Textfeld.

Ein alter ?etherpad=-Link meldet sich, statt still nichts zu tun: Der Parameter
bleibt erkannt und ergibt die zeilenlose Warnung padGone, die auf ?live= zeigt
(neun Sprachen). Geholt wird nichts - nachgemessen geht keine Anfrage mehr an
den Pad-Host. Vorhandene Pad-Dokumente bleiben liegen und werden dabei besser:
ohne Schreibschutz sind sie bearbeitbar und sammeln fruehere Staende.

Mit ausgebaut, weil sie nur der Anbindung dienten: remote.js samt Tests, der
Ansichts-Waehler und sein Splitter, der Neu-laden-Knopf samt
Drosselungs-Zaehler, die Warnungen sourceTimeout/padRateLimit, elf i18n-
Schluessel x 9 Sprachen - und src.readOnly ganz, denn nur Pad-Dokumente haben
es gesetzt (mit ihm updateSnapBtn und sieben tote Waechter). Auch #srcArea
faellt weg: den Kasten gab es nur, damit Pad-Rahmen und Spiegel sich einen
Bereich teilen. ?sourceUrl= bleibt unangetastet - beide teilten sich einen
Fetch-Pfad, das war die Stelle, an der nichts verrutschen durfte.

Im Plan wird aus dem #col.pad-Zweig (14 Knoten samt der ganzen
"Update by itself"-Gruppe) ein verworfener Knoten mit Begruendung; der
gemeinsame Zeigefinger wandert als #col.point heraus, denn !!! gilt jedem
geteilten Dokument. 196 Knoten, 0 Warnungen.

Nebengewinn: Der README bekommt endlich den Abschnitt zu ?live= - den gab es
nie, die Einstiegs-Beschreibung stand weiter beim Pad.

Nachgemessen im Browser: ?etherpad= zeigt die Warnung ohne Netz-Anfrage,
?sourceUrl= laedt unveraendert und ist beschreibbar, Textfeld und
Zahlenstreifen liegen buendig, Legenden-Splitter teilt wie zuvor (954+10+300),
Falten und Staende funktionieren. 501 Tests, 946 Zeilen weniger.

frontend/src/warnings.js

@@ -39,18 +39,14 @@
                                       exakte Suche (D42); zeilenlos
    - sourceLoad    { url, error }   — ?sourceUrl= nicht ladbar (D23); ohne
                                       Zeilennummer, erscheint dadurch zuoberst
-   - padRateLimit  { seconds }      — zu früh nachgeladen; Werkbaum hat gar nicht
-                                      erst geholt, um Etherpads Grenze nicht
-                                      auszulösen (D31)
+   - padGone       { }              — ein alter ?etherpad=-Link: die Anbindung
+                                      ist ausgebaut (D78), der Text zeigt auf
+                                      ?live=; zeilenlos
    - liveLoad      { url, error }   — Server-Dokument (?live=, D76) nicht
                                       erreichbar oder keine Dokument-Adresse
    - liveStale     { error }        — eigene Änderung nicht anwendbar
                                       (Prüfsumme, Index, Basis verdichtet);
-                                      der Client hat einmal neu geladen (D76)
-   - sourceTimeout { url, seconds } — Abruf abgebrochen, Gegenseite zu langsam
-                                      (D31). Eigener Typ, weil `sourceLoad` auf
-                                      CORS zeigt — bei einem Zeitablauf schickt
-                                      das den Leser auf die falsche Fährte */
+                                      der Client hat einmal neu geladen (D76) */
 
 import { esc } from './render.js';
 
@@ -95,14 +91,12 @@ function build(w, t, esc){
       return t('cheapApproxWarn');
     case 'sourceLoad':
       return t('sourceLoadWarn', {url: esc(w.url), error: esc(w.error)});
-    case 'padRateLimit':
-      return t('padRateLimitWarn', {seconds: w.seconds});
+    case 'padGone':
+      return t('padGoneWarn');
     case 'liveLoad':
       return t('liveLoadWarn', {url: esc(w.url), error: esc(w.error)});
     case 'liveStale':
       return t('liveStaleWarn', {error: esc(w.error)});
-    case 'sourceTimeout':
-      return t('sourceTimeoutWarn', {url: esc(w.url), seconds: w.seconds});
     default:
       return `${esc(String(w.type))} (${w.line ?? '?'})`;
   }