I wrote:> I see. The comment could do with a bit of rewriting, perhaps.
I rewrote the comment and pushed it.
regards, tom lane