Merge docs (optional)

If we end up using the docs I drafted going forward, it should be merged into the main repo. No urgency here.