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

[Hannes Wallnöfer]

On Fri, 8 Nov 2024 16:30:27 GMT, Pavel Rappo <prappo at openjdk.org> wrote:

> Also, I assume some doubling I see in the rightmost column will go away after #21765 has been integrated; correct?
> 
> ```
> equivalence relation | java.lang.Object.equals(Object), java.lang.Object.equals(Object)
> ```

Yes, the second entry will go away when that PR is integrated.

Thanks for reviewing!

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

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