0001-0004-Drop-sphinx-notfound.extension-not-in-Debian.pa.patch
