David Fetter <david(at)fetter(dot)org> writes:>> So it's a case of bad documentation, which we will fix very shortly. Sorry>> for the noise.
> Please find attached a patch that fixes this.
Applied, thanks.
regards, tom lane