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.