We have a document attribute defined for the Javadoc URL. However, it is hard-coded in many places in the documentation, meaning the link will not be update automatically when the attribute value changes.

We need to clean this up before we branch again.