Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> writes:
> Tom Lane wrote:
>> How do we get rid of those duplicative (and not-appropriate-to-the-
>> main-topic) links on the first line?
> Hmm, is it related to this previous report of mine?
> https://postgr.es/m/20170315160525.42x4wxtdhk3sa522@alvherre.pgsql
Yeah, that does look like the same thing. I'm not especially thrilled
by Alexander's suggestion of working around it by removing "zone" tags,
but maybe that's what we'll have to do. Has there been any movement
on fixing the docbook bug?
regards, tom lane