Sphinx handling of html_logo and html_favicon changed in version 6, but changing to the documented logo_url and favicon_url still doesn't work for some reason. But Sphinx 5.3 works, so let's pin to that. This will need to get sorted out at some point, when there's a need to move to a newer sphinx.
Sphinx handling of
html_logoandhtml_faviconchanged in version 6, but changing to the documentedlogo_urlandfavicon_urlstill doesn't work for some reason. But Sphinx 5.3 works, so let's pin to that. This will need to get sorted out at some point, when there's a need to move to a newer sphinx.