Thread:Extension talk:CodeEditor/Broken/reply

Allegedly this should be fixed within a few hours...