default_theme.patch
drop-notmyidea-builtin-themes.patch
Adjust-extlinks-configuration-for-Sphinx-5.0.patch
Do-not-set-html_theme_path.patch
