We seem to have ended up with duplicate documentation of --man. Gone.