Erik Wienhold <ewie(at)ewie(dot)name> writes:> Anyway, I prepared a patch for the docs.
I think the last hunk of this is plenty sufficient, and the earlierones just add noise.
regards, tom lane