Comment by leephillips

Almost nobody uses TeXmacs it because those who might be interested need LaTeX and its packages. This is not LaTeX. (In the future these authors might all be using Typst, but not this thing.)