Robert Treat <xzilla@users.sourceforge.net> writes:
> I'd still like to see us adopt the proposal from some time ago where
> we stop commenting out the parameters at all, but short of that,
> hiding options seems about the worst choice we could make.
Well, there seems to be a very substantial body of opinion that says
we *do* need to hide "uninteresting" options. How many are
"interesting" is certainly open to debate, but as far as I can tell
most people think it's a short list, not "all of them".
In short, you're in the minority.
regards, tom lane
