Merge "docs: disable PDF output for documentation generation" into integration