Update docs for alpha 4 release

This first commit is a preliminary update of docs for the alpha 4 release. I'm merging it immediately, but let's use this PR for any corrections that are needed as well. (At least I think that can work)