[PATCH 5.15 643/667] docs/conf.py: Cope with removal of language=None in Sphinx 5.0.0