This is great news. TeXmacs looks like a great project. Even though I don’t use it, I really appreciate there being options in the typesetting space, and dearly

This is great news. TeXmacs looks like a great project. Even though I don’t use it, I really appreciate there being options in the typesetting space, and dearly wish there were more. I wish they’d change the name, though — I ignored the project for a long long long time because of my reasonable presuppositions about it. JollyWriter is a very good replacement name, IMO.