Alvaro Herrera <alvherre@commandprompt.com> writes:
> Perhaps make them emit a WARNING at server start or something.
I concur with Greg Stark's earlier comment that this is all
overreaction. Let's just fix the misleading comment in the
documentation and leave it at that.
regards, tom lane