Congratulations! Just added a contribution from the Overleaf[1] team who&#x27;ve been great admirers (and supporters) of CodeMirror -- it&#x27;s a great editor and I look forward to seeing where ProseMirror goes! :)<p>[1] <a href="https:&#x2F;&#x2F;www.overleaf.com" rel="nofollow">https:&#x2F;&#x2F;www.overleaf.com</a>