"David G. Johnston" <david(dot)g(dot)johnston(at)gmail(dot)com> writes:
> On Fri, May 20, 2016 at 2:25 PM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> Yeah, agreed. I'll put something in.
> I'd hit up the "Notes" section's last paragraph in addition to the
> command-line option.
Good point --- I missed that, but will have another go.
regards, tom lane