It has been an unfortunate decision. Once in a while the community discuss to ch...

		mgubi on Dec 30, 2022 \| parent \| context \| favorite \| on: TeXmacs “The Jolly Writer” book is now available a... It has been an unfortunate decision. Once in a while the community discuss to change the name, but no convincing proposal have emerged. On the other hand I really hear very few people complaining about JavaScript. So I guess, the name is not all here.