Documentation and links

PDF generation may take several minutes depending on the amount of information.

Select the information you want to include in the PDF:

• Current page
• Current section and subheadings
• The whole document

You can cancel the generation of the PDF at any time.