Re: Add id's to various elements in protocol.sgml

On 24.02.2022 at 16:46, Alvaro Herrera wrote:
> On 2022-Feb-24, Dagfinn Ilmari Mannsåker wrote:
>
>> Peter Eisentraut <peter.eisentraut@enterprisedb.com> writes:
>>> Is there a way to obtain those URLs other than going into the HTML
>>> sources and checking if there is an anchor near where you want go?
>> I use the jump-to-anchor extension: https://github.com/brettz9/jump-to-anchor/
>>
>> Some sites have javascript that adds a link next to the element that
>> becomes visible when hovering, e.g. the NAME and other headings on
>> https://metacpan.org/pod/perl.
> Would it be possible to create such anchor links as part of the XSL
> stylesheets for HTML?
>
Initially I thought that most use cases would involve developers who
would be perfectly capable of extracting the id they need from the html
sources but I agree that making that a bit more comfortable (especially
given the fact that others do that too) seems worthwhile.

I'll investiogate our options and report back.