Usage tips

At the top of the pages there are two groups of icons for operating the documentation:

• Show/hide a table of contents
• Select a theme
• Search function

• Language selection (German/English)
• Print
• GitHub page of the documentation project
• Suggest changes to the current page in GitHub

Type ? to display a small keyboard navigation aid.

Note

To reduce the translation effort given the amount of documentation pages, all German pages were translated into English with DeepL. Many thanks to DeepL for offering the translator free of charge.