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

On 15.12.21 16:59, Brar Piening wrote:
> On Dec 15, 2021 at 15:49, Alvaro Herrera wrote:
>> On 2021-Dec-15, Brar Piening wrote:
>>> Since I can't argue towards some general utility for the xreflabels
>>> and don't have any other solid argument in favor of adding more, I
>>> will remove them from my current patch but leave the existing ones
>>> intact.
>> Yeah, I think not adding them until we have a use for them might be
>> wisest.
> A new version of the patch that doesn't add xreflabels is attached.

Now this patch adds a bunch of ids, but you can't use them to link to, 
because as soon as you do, you will get complaints about a missing 
xreflabel.  So what is the remaining purpose?