"David G. Johnston" <david.g.johnston@gmail.com> writes:
> On Fri, May 20, 2016 at 2:25 PM, Tom Lane <tgl@sss.pgh.pa.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