Congratulations! Just added a contribution from the Overleaf[1] team who've been great admirers (and supporters) of CodeMirror -- it's a great editor and I look

Congratulations! Just added a contribution from the Overleaf[1] team who've been great admirers (and supporters) of CodeMirror -- it's a great editor and I look forward to seeing where ProseMirror goes! :) [1] https://www.overleaf.com https://www.overleaf.com