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?

See: https://github.com/mozilla/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.