More work on our documentation.

Also a little rearrangement of our version info.