Sphinx installation is now optional.