tentatively added support for MathJax and augmented the user manual accordingly.