switch back to official sphinx adresses

Hi Gilbert
Here is the pull request for switching back to the sphinx old infra.