Dear devs, What do you think if we start supporting mathjax on the html webpages? Please read more on mathjax here: http://www.mathjax.org/ And then we should be able to add formulas on our html page with: $\frac{n!}{k!(n-k)!} = \binom{n}{k}$ To do this we should modify the header in the manual html pages. Any thoughts? Pietro