none of the Sphinx files in this repository are used by symfony.com, it uses their own sphinx installation and configuration.