Text editors

Just to remember this post... may be now, two months after those questions were posted, things are a little bit more clear and a decision about the new "official" web editor is taken.

Thanks for the information,

Marc.