Radical cleanup of documentation.

Lots of this is now redundant.