doc-Ignore-some-plugins-which-are-not-packaged-yet.patch
doc-Remove-badge-linking.patch
docs-Don-t-build-directory-URLs.patch
