"Robert Haas" <robertmhaas(at)gmail(dot)com> writes:> OK, here's an updated version...
Applied with some small stylistic revisions.
regards, tom lane