> The project seemed to stall and I moved on to LyX. Nice to see it is back in business.
Actually, Joris writes code for GNU TeXmacs on a regular basis. But he did not update the main site before. The old-styled main site (before) delivered the wrong message.
Some people are using TeXmacs. But the number of the TeXmacs users are increasing.
> Now that you can export markdown and org-mode to LaTeX, TeXmacs doesn’t seem to provide much value.
This is not a difficult but a trivial task. Currently, TeXmacs documents can be converted to LaTeX. Some people use TeXmacs to write the draft of a paper and then polish it using LaTeX.
> I’ve tried using TeXmacs once and it never really worked well.
You may try it again. We have added plenty of features and fixed many bugs.