Fix expansion of autoconf variables in man pages.
Remove some historic comments.
Cosmetic and other small improvements to man pages.