0008-Avoid-using-the-better-sphinx-theme.patch
