Editor manual

In this section, we cover the Redot editor in general, from its interface to using it with the command line. We cover some specific editors' interface in other sections where appropriate. For example, the animation editor.