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.
Thanks for your support.