at12·vor 14 Jahren·discussboth WriteLatex and ScribTex use codemirror, and ShareLatex uses ace, which editor do you plan to use after merging?