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