Redis support removed, CodeMirror updated