Merge pull request #43 from PrivateStorageio/extra-docs

Some docs and cleanups which are additional to those from #42 

This should have been part of the earlier merge but in the process of self-review I forgot to push all of my changes before using the GitHub merge button.