Thread:Extension talk:CodeEditor/download broken!?