Re: doc: add missing "id" attributes to extension packaging page

On 13.04.2023 at 10:31, Peter Eisentraut wrote:
> The first patch has been committed.

Yay - thank you!

> The second patch should be sent to pgsql-www for integrating into the
> web site.
Done via [1]. Thanks for the hint.

> Side project: I noticed that these new hover links don't appear in the
> single-page HTML output (make postgres.html), even though the
> generated HTML source code looks correct.  Maybe someone has an idea
> there.
I feel responsible for the feature to work for all use cases where it
makes sense. I'll investigate this and post back.

Regards,
Brar

[1]
https://www.postgresql.org/message-id/d987a4a7-62c3-7e0c-860f-1c96fc2117d9%40gmx.de