On 20.12.2021 at 16:09, Robert Haas wrote:
> As a data point, this is something I have also wanted to do, from time
> to time. I am generally of the opinion that any place the
> documentation has a long list of things, which should add ids, so that
> people can link to the particular thing in the list to which they want
> to draw someone's attention.
>
Thank you.
If there is consensus on generally adding links to long lists I'd take
suggestions for other places where people think that this would make
sense and amend my patch.