0001-doc-remove-github-banner-to-avoid-lintian-warnings.patch
