Peter Eisentraut <peter@eisentraut.org> writes:
> I think there was general agreement with what this patch is doing, but I
> guess it's too boring to actually review the patch in detail. Let's
> say, if there are no objections, I'll go ahead and commit it.
I re-read the thread and have two thoughts:
* We worried about whether this change would be compatible with a
(presently unreleased) version of docbook that contains the upstreamed
fix. It seems unlikely that there's a problem, but maybe worth
checking?
* I gather that the point here is to change some generated anchor
tags. Would any of these tags be things people would be likely
to have bookmarked?
regards, tom lane