Documentation update

Just realised I was commenting on a commit rather than a PR. Can we make pretty much everything except very trivial changes PRs as it's a better way to aggregate comments? Ta.