sphinx13_theme_rename.diff
