Re: `@anchor` improvement

[Werner LEMBERG]

> A target is an anchor, where it is placed.  Maybe @identifier could
> be better than @label?

If this is what people like most then I suggest to use `@id`, which is
shorter.  (I'm not really happy with the name, though, but I can't
explain why this is so :-)


   Werner