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

On 18.12.21 00:53, Brar Piening wrote:
> The purpose is that you can directly link to the id in the public html
> docs which still gets generated (e. g.
> https://www.postgresql.org/docs/14/protocol-replication.html#PROTOCOL-REPLICATION-BASE-BACKUP). 
> 
> Essentially it gives people discussing the protocol and pointing to a
> certain command or message format the chance to link to the very thing
> they are discussing instead of the top of the lengthy html page.

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?