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.