Merge docs into main branch

This pull request moves the docs from a separate repo into the main repo. The theory here is that one unified repo can combine documentation changes with relevant code changes, to be released together.