Fix autogrow of CodeMirror -- https://discuss.codemirror.net/t/codemirror-6-setting-a-minimum-height-but-allow-the-editor-to-grow/2520/7 Integrate prettier to format ...