Re: keep information of texinfo source

[Karl Berry]

    I consider that all the tree
    should be read only by the user

Sure, but that doesn't mean it has to be a valid user-level command
name.  The question is whether @sourcemark would ever be output when
reconstructing the document, or only used internally to do so.  My
impression was the latter.  If it only exists inside Perl, then it just
seemed logical to me for it to be inaccessible at the source level.

No biggie.

    not source_mark, it is illicit, 

Right.  The underscore making it an invalid user-level name is precisely
why I suggested using it.

    should be source-mark...

No, in this alternative, it should be sourcemark.  Names with hyphens
(or anything non-alphabetic) fail in TeX.

k