Re: some @-command constructs not accepted on section lines

[Karl Berry]

    You mean precisely in section titles and figure captions?  

I'm not sure what I mean precisely :), but it would certainly be a good
step to warn just in figure titles.

    for warning to appear in shortcaption,
    a warning should also appear in 

Indeed, I doubt @verb works in any of those commands in texinfo.tex.
Nor do I see that it needs to work in any of them, logically speaking.
So I think it would be good to warn in all those cases.

    in figure captions it is harder, as captions are
    set up as accepting anything.

Which makes sense.  Let me check about @verb in figure captions in
texinfo.tex.  I was thinking of @shortcaption before.

Thanks,
k