Currently, for historical reasons involving compatibility with HTML 4, anchors are defined with code like the following:

<a id="method.detail">
<!-- -->
</a>
<h3>Method Detail</h3>

Now that we no longer support HTML 4, it would be good to move the "id" attribute onto the appropriate nearby heading.

Note, in the past, when this was considered once before, there were bad interactions with the top navbar, which is floating above the main body: in some cases, when clicking on a link, the document could be scrolled such that the desired target ended up hidden underneath the top navbar. This is fixed with "magic" related to the <a> tag; this needs to be revisited and if it is still a problem, a better solution needs to be found.