bug#81341: Man page edit

[Paul Eggert]

I have mixed feelings about the proposed change. The man page is 
intended to be relatively brief and is explicitly not the authoritative 
source - the manual is. And the man page is already too long, and it's a 
continual pain to maintain both sets of documentation.