Information for editing this guide

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

Resources for this guide

• objects.inv.json
• warnings.txt (list of warnings)
• Issues on GitHub