docs-conf.py-Use-sphinx_rtd_theme-instead.patch
