I wrote:
> OK. I'm going to work on replacing the DBWriteRequest structure with
> an OID list, and on improving the comments some more, but I don't
> anticipate further functional changes.
Here's the end result of that. I went ahead and pushed the original
small patch, concluding that that was fixing a different bug and so
should be a different commit.
regards, tom lane