On another front:
@iftex
@macro cl{name}
{@smallertt@phantom{concurrency:}@llap{cl:}}\name\
@end macro
@end iftex
What's inside @iftex is supposed to be valid Texinfo.
(Just like @ifinfo, etc.) To lapse into plain/raw TeX,
@tex should be used. That's why it exists.
(Of course, it would be a lot simpler to avoid trying to control
formatting in the first place, as that is not what Texinfo was ever
designed to do. But I know people feel the need to do it anyway.)
(Not that I have anything against fixing the issue. Indeed, I'm glad
Gavin could do so.)
k
