no_mathjax_js_in_documentation.patch
use_mjtheme.patch
