"David G. Johnston" <david(dot)g(dot)johnston(at)gmail(dot)com> writes:
> You should read the most current version of the documentation for a feature
> before reporting a bug. In this case the warnings you desired have been
> added to more recently versions of the documentation.
Hm, I was thinking that that text had been there for awhile --- certainly
it's not a new restriction. I wonder why we didn't back-patch it?
regards, tom lane