On Mon, 9 Sep 2024 15:50:07 GMT, Joe Darcy <darcy at openjdk.org> wrote: > More extensive use of definition HTML tag and index javadoc tag. Marked as reviewed by jjg (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/20917#pullrequestreview-2319343264