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