revert ALLSPHINXOPTS from the previous commit