In addition to the ones I have already given, here is another source of information about TeXmacs: https://texmacs.github.io/notes/docs/main.html