Improvements and corrections to v0.4 doc

Not really a PR. Just to kind of track stuff. I guess it's best if you squash this commit in yours.