HTML export vs Mozilla's PDF.js

So… which is preferable? Should people export TeXmacs documents to HTML or rely on Mozilla’s PDF.js?


It depends on your motivation. This plugin is simply used to display PDF files in browsers. If you use TeXmacs to build a webpage, of course you want to export it as html. The pdf is mainly used to produce a printable document. The typesetting should be the same on different platforms, and therefore it does not support reflowing the texts, say.