On Fri, 20 May 2022 20:55:02 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Use the term "main description". Approved. To be clear, I think we should keep the unadorned term _description_ for any narrative description in any possible, and that we should use _main description_ for the content before any block tags. ------------- Marked as reviewed by jjg (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/8818
