whitespace: Whitespace clean-up of manual pages.