Towards the end of JDK 9 dev, we added links to the Tool Guides, but it was too late to do it "properly" with a taglet, and so we emulated the visual presentation with explicit HTML.

We should remedy that and convert the explicit HTML into a custom JDK taglet.