Skip to content

[v3.0-stable] doc: some fixes for the PDF

Backport of !1005 (merged)

Merge request reports