Alvaro Herrera <alvherre(at)commandprompt(dot)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