fingolfin Prefer MathJax version of manuals