(This is in the general category of better specifying aspects of doclet output that may be of use to document authors)

We should specify the anchors (or methodology for generating anchors) in generated documentation files, so that users can create links to these anchors.