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?