[mgubi]

I'm not sure what are you referring to. TeXmacs is used everyday by many people, at lest 3/4 of my students wrote their PhD thesis with it, some of them enterely, other the initial draft. All my papers are written with it, lecture notes, presentations, letters. My experience is the same of many other people. Even comparning TeXmacs with AucTeX+Emacs is misleading. Totally different user experience. TeXmacs does not have yet a fully stable collaborative functionality, but the functionality is there and it experimentally work. Maybe one day will be completed and you will not need to rely on a central server to use it, just fire up a TeXmacs instance to be the server and connect the others: https://mobile.twitter.com/gnu_texmacs/status/13910657725338... So, slowly, but we will be there too. :)