0001-Use-packaged-js-and-css-instead-of-xstatic-ones.patch
0002-Use-locally-installed-font-awesome.patch
0003-Correct-for-different-file-paths-in-the-debian-insta.patch
0004-adapt-to-Pygments-2.12.0-and-also-require-it-fixes-2.patch
