Update 07-extra-sphinx.sh