This manual has been replaced by the editor manual.
Did you spot an error or do you have a suggestion? Please let us know on GitHub!