Index Links for Short Names

In an index with short names the short name entries should link to the (full) name entries.

This works for tables, but not for definition list and numbered/unnumbered lists.

The ID for the HTML element is not generated.