Remove unused options in Sphinx docs. [ci skip]