make link to Javadocs explicitly point at index.html so local file:/// browsing of docs in distributions will work as well