doc build fixes

see the individual commits

Merge request reports

Loading