/lively4-jsx/src/external/code-mirror/mode/pug