Dear All, I've just stumbled upon a new editor for LaTeX source: https://blogs.oracle.com/geertjan/entry/open_latex_studio Maybe ConTeX could be integrated as well in the future... In the light of various services like https://www.sharelatex.com/ https://www.authorea.com/ https://www.overleaf.com this seems to be anachronic, but in case it could be helpful to somebody... Just sharing. Jan