Unused code in Sphinx extension.