Re: cross references in html, next

[Karl Berry]

It does not really matter, but I think these commands:

    @exdent NOTHING
    @noindent NOTHING
    @page NOTHING
    @refill NOTHING
    @uref is replaced by the third arg, or the second if not present or the 
first
    @footnote and its argument are removed
    @sp and the number following it are removed
    @*ref is replaced by the first argument (the node name)

should simply be disallowed in @node names.  I can't imagine any good
reason to use them.

@image, by the way, I can imagine (very vaguely), so let's leave that as
a possibility.


I don't have any other comments.  Thanks for doing this.  Now I just I
could take the time to implement it immediately :).

karl