Thread:Extension talk:CodeEditor/download broken!?/reply

Cannot verify, works for me.