WIP: docs: Fix build with latest version of sphinx

Edited by Jürg Billeter

Merge request reports

Loading