Editing on GitHub

These docs are generated from an open-source GitHub repository. So, if you have a text editor and prefer the command line to the GitBooks UI, then please open a new branch and make a pull request for your modifications!