RFR: 8340565: Create separate index page for terms defined by the index tag

[Jonathan Gibbons]

On Wed, 9 Oct 2024 17:49:23 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> JavaDoc also generates index items for documentation headings, these are not included in search-tags.html.

This seems worth discussing.   "Module Resolution" is one heading that could be indexed, while there are others on the same page that arguably should not be.
https://docs.oracle.com/en/java/javase/23/docs/api/java.base/java/lang/module/package-summary.html

-------------

PR Comment: https://git.openjdk.org/jdk/pull/21429#issuecomment-2403161157