Nicer anchors

[Nick Treleaven via Digitalmars-d]

On 30/12/2014 02:18, Vladimir Panteleev wrote:
>
> I'm not sure using numbers to distinguish overloads is a good idea. Such
> links would break easily.

Note: that isn't part of Andrei's pull.

Using numbers is the only workable way, other schemes would also break 
easily, probably moreso. I implemented it so that ditto overloads don't 
get a separate number, to avoid some breakage when adding dittos.