For the readability of HTML exported by TeXmacs, please take a look yourself at the html files in https://github.com/texmacs/notes/tree/main/docs https://github

For the readability of HTML exported by TeXmacs, please take a look yourself at the html files in https://github.com/texmacs/notes/tree/main/docs https://github.com/texmacs/notes/tree/main/docs I think that the developers would be happy to hear any comment on that topic. I am not able to answer your other questions, I hope someone else will answer them.