Any pull requests should be made on the 'develop' branch.
Please note that documentation (i.e. everything in the docs directory) is
automatically generated. As such, contributions should be made to the
respective .js source file used to generate the final markdown.