docs-Deactivate-mkdocs-glightbox-plugin.patch
docs-Deactivate-mkdocs-i18n-plugin.patch
docs-Don-t-build-directory-URLs.patch
docs-Ignore-any-badges.patch
