Last-minute documentation updates for 0.1.0

This branch cleans up some higher-level documentation for 0.1.0, and tries to make sure that the landing points are reasonably good.

Merge request reports

Loading