docs: Remove unused Sphinx extension.