Merge "docs: add instructions for PDF generation of docs" into integration