On Thu, 18 Jan 2024 16:25:49 GMT, Hannes Wallnöfer wrote:
>> This is a rather big change to update the structural navigation in API
>> documentation generated by JavaDoc. It adds a table of contents for the
>> current page to module, package, and class documentation, and replaces the
>> old su
> This is a rather big change to update the structural navigation in API
> documentation generated by JavaDoc. It adds a table of contents for the
> current page to module, package, and class documentation, and replaces the
> old sub-navigation bar with a breadcrumb-style links in those pages. T
