On Sat, 6 Mar 2021 13:13:02 GMT, liach <github.com+7806504+li...@openjdk.org> wrote:
> Does this change add the "other versions" text under the current version > info? I don't see where the `Other Versions` text (proposed in the original > issue) is added. Without that text, imo this utility would be significantly > less accessible, as not many people would know this trick by looking at this > pull request, the original JDK issue, or by inspecting the html. No, after offline discussions, we decided to just link the existing text for the short version string, to minimize the disruption to the header. This opens up the possibility of applying a similar change to modify existing published docs in a similar manner, which is the more interesting case. ------------- PR: https://git.openjdk.java.net/jdk/pull/2854