Re: Relating multiple index entries to one table item

[Gavin Smith]

On Wed, Nov 23, 2022 at 11:56:30PM +0100, Patrice Dumas wrote:
> As I said before I do not think that it is right to merge the first
> index entry with the @item, but that's a separate issue.

I have nuked the relate_index_entries_to_table_entries transformation
which made this association.  According to the changelog, I introduced
this code in November 2020.  This may remove some copiable anchors from
HTML manuals, for @item in @table.  We'll have to decide if and when
such should still be output.