Proposal: Improvement of the developer docs

[TheMeinerLP]

Currently, if you go to the docs via the normal paper page and then to the developer section, you cannot find the JavaDocs directly. It would be good, based on the experience of other documentations, that there should be a direct link to docs in the general overview.

I know that there is a link in the footer but it can happen, as it happened to me, that the link is overlooked.

Here is an example graphic: