On 2022-Dec-05, Ian Lawrence Barwick wrote: > On this page: > > https://www.postgresql.org/docs/current/extend-extensions.html > > three of the <sect2> sections are missing an "id" attribute; patch adds > these. Noticed when trying to create a stable link to one of the affected > sections.
Hm, I was reminded of this patch here that adds IDs in a lot of places https://postgr.es/m/3bac458c-b121-1b20-8dea-0665986fa...@gmx.de and this other one https://postgr.es/m/76287ac6-f415-8562-fdaa-5876380c0...@gmx.de which adds XSL stuff for adding selectable anchors next to each id-carrying item. -- Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/
