#951826 postgresql-autodoc: manpage differs from --help and current options