Branch fixes #5
Description
Given our stated process for forking and pull requests, and the presence of a stable branch, we should probably delete the development branch and use master, unless there's any reason to keep it around.
GitHub is also only allowing me to merge pull requests into stable (not sure if this is a permissions thing or due to the repo defaulting to stable), so they then also have to be merged into master and development, obviously a bit tedious.