within TeX makes a great difference; the latter produces an unwanted
space... Right now I have no time to check this with texinfo
No need to check. texinfo.tex certainly does not change that behavior.
(It would be neither feasible nor desirable to do so, as you know --
spaces would have to be active all the time.)
You're right that @noindent doesn't take braces.
I don't think there is any 100% correct general statement that can be
made about which commands take braces and which don't.
Thus, perhaps we should make the statement in the manual more
wishy-washy, and have the Perl program not complain about it, since
that's what you're doing in practice.
Patrice, what do you think?
