[PATCH 5.17 748/772] docs/conf.py: Cope with removal of language=None in Sphinx 5.0.0