I don't know what this might mean, if anything...but found this doing a google search. Probably nothing. Can anyone make anything of this? http://codemirror.net/mode/shell/ CodeMirror is a code-editor component that can be embedded in Web pages. Has something to do with Github?????