Magnus Hagander <magnus(at)hagander(dot)net> writes:
> I looked at this again, and I'm pretty sure we did this intentionally.
Yeah, we did.
> Or should we just update the documentation to mention how this works?
+1 for doc change only. I think the behavior was thought through
carefully, and the wording of the docs maybe not so much.
regards, tom lane