0001-doc-remove-github-banner-to-avoid-lintian-warnings.patch
0002-doc-use-sphinx-inventory-from-libtermpaint-dev.patch
0003-doc-conf.py-set-default-group-for-reproducible-build.patch
