we copied what we needed from whalesong, so no submod needed, and get the path right for CodeMirror