Fix documentation build on Jenkins

The development documentation fails to build since a while on Jenkins and thus do not get uploaded on https://docs.softwareheritage.org/devel/ which is now quite outdated.

The following errors and warnings have to be fixed to unlock the situation. Let's track that work here.

---

Migrated from T2188 (view on Phabricator)