doc-Ignore-some-plugins-which-are-not-packaged-yet.patch
doc-Remove-badge-linking.patch
docs-Don-t-use-mike-addon-for-MkDocs.patch
docs-Don-t-build-directory-URLs.patch
docs-Use-python3-in-example-as-interpreter-call.patch
