use-debian-requirejs.patch
remove-shields-dot-io-images.patch
use-debian-mathjax.patch
fix-online-tests.patch
add-missing-online-marks.patch
adjust-tolerance.patch
