On Mon, 9 Sep 2024 18:37:47 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Use index and definition tags in AnnotatedElement.
OK.
As a subsidiary follow-up, one might ask whether `{@index...}` should
implicitly include `<dfn>` tags in its output.
-------------
Marked as reviewed by jjg (Reviewer).
PR Review: https://git.openjdk.org/jdk/pull/20919#pullrequestreview-2290700260
