Sphinx is installed by external packages. No need (for now) for the source code