Improve the man pages.

In particular, replace repeated information by cross-references.