Update docs.

The user manual had some science fiction... that doesn't make sense to
me any more.