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