<div dir="ltr"><div class="gmail_default" style="font-family:monospace">Hello <a class="gmail_plusreply" id="plusReplyChip-0" href="mailto:javadoc-dev@openjdk.org" tabindex="-1">@javadoc-dev@openjdk.org</a> team,</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">If I look up the documentation for the jar command in Java 25, I get this page.</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace"><a href="https://docs.oracle.com/en/java/javase/25/docs/specs/man/jar.html">https://docs.oracle.com/en/java/javase/25/docs/specs/man/jar.html</a></div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">On the top are 3 tabs, titled as follows.</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">* API</div><div class="gmail_default" style="font-family:monospace">* Other Specifications</div><div class="gmail_default" style="font-family:monospace">* Tool Guides</div><div class="gmail_default" style="font-family:monospace"><br></div><div class="gmail_default" style="font-family:monospace">If I click API, it takes me to the main Javadoc page that we know. However, I have no way to navigate back to that page, other than to use my back button.</div><div><br></div><div><div style="font-family:monospace" class="gmail_default">Could we add the "Other Specifications" and "Tool Guides" tabs to the main Javadoc page? We could put a clean vertical divider between the group of normal Javadoc tabs (OVERVIEW/TREE/PREVIEW/etc) and this new group.</div><div style="font-family:monospace" class="gmail_default"><br></div><div style="font-family:monospace" class="gmail_default">Having that ability to navigate back and forth would help discoverability a lot. For example, clicking on the "Tool Guides" tab shows me a whole bunch of features I never knew about.</div><div style="font-family:monospace" class="gmail_default"><br></div><div style="font-family:monospace" class="gmail_default">Ideally, this is a super low effort feature request to implement. They even share the same url prefix, so very very little needs to be done here.</div><div style="font-family:monospace" class="gmail_default"><br></div><div style="font-family:monospace" class="gmail_default">Even if we don't go about making the change, could we at least create a ticket for it in JBS?</div><div style="font-family:monospace" class="gmail_default"><br></div><div style="font-family:monospace" class="gmail_default">Thank you for your time and consideration.</div><div style="font-family:monospace" class="gmail_default">David Alayachew</div></div></div>