Information for Editing This Guide

Here, we list some resources that are useful when editing this manual:

Resources for This Guide

• Linktargets (labels for cross-referencing)
• warnings.txt (list of warnings)
• Issues on GitHub (or click on "Related links", "Issues")