0001-Remove-remote-badges-to-prevent-privacy-issues.patch
0002-Use-packaged-mathjax-in-documentation-to-prevent-pri.patch
