On Mon, 9 Sep 2024 18:37:47 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Use index and definition tags in AnnotatedElement.
Just curious, if we have `{@index "type annotation"}`, does a search for `type
annotation` in Javadoc search bar still work?
-------------
PR Comment: https://git.openjdk.org/jdk/pull/20919#issuecomment-2341912682
