On Thu, 17 Aug 2023 04:52:59 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Use of javadoc search index feature; I'll re-flow paragraphs before pushing > once the wording is agreed to. What about `<i>semi-monotonic</i>` on L.80? Does it deserve to be tagged as `<dfn>` and indexed? ------------- PR Review: https://git.openjdk.org/jdk/pull/15322#pullrequestreview-1582570065
