default_theme.patch
drop-notmyidea-builtin-themes.patch
Adjust-extlinks-configuration-for-Sphinx-5.0.patch
