Information for editing this guide

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

Resources for this guide