Ron Johnson <ronljohnsonjr(at)gmail(dot)com> writes:
> "Option exists, is mentioned in --help, but doesn't do anything" is a (very
> low priority) bug. That's plain and simple.
Plain, simple, and wrong. It does do something. Maybe not something
you care about, but that could be said of a lot of options.
regards, tom lane