Gittrac #3619: commented out man pages of obsolete commands.