Re: automatic anchors for definition commands.

[Richard Stallman]

    However, I'm now somewhat convinced that adding implicit anchors for
    definition commands, as we add index entries now, would be reasonable.

This would mean a tremendous increase in the number of names defined
for cross-referencing.  That could cause a slowdown in TeX, or even
cause TeX to run out of memory.  I think we should not do this.

    I believe there are only three conclusions to be made at the present
    stage.  Either

    (A) conclude that definitions stand out clearly enough anyway and
        _only_ make anchors of type (3), which ofen refer to unnamed
        pieces of text that do not stand out very clearly from the
        surrounding text (but could not possibly be made into separate
        nodes).

    or make automatic anchors, either 

    (B) only for definitions 

    or 

    (C) for all index entries.  If I remember well, Juri at one point

I prefer (D): continue handling this the way we do it now.