@comment in @example can cancel indent of example

[Gavin Smith]

I just noticed for the Info output of the following,

@example
address@hidden

x
aaa
bb
@end example,

there is no indent for the line with "x" at all. The output looks like

==================
This is text.info, produced by makeinfo version 5.2dev from text.texi.

     yyyyyyyyyyyyyyyyy
x
     aaa
     bb


Tag Table:

End Tag Table
==================

I would expect this to be the same as

@example
yyyyyyyyyyyyyyyyy
x
aaa
bb
@end example

with the @c removing the following newline. There could also be an
argument for it being the same as

@example
yyyyyyyyyyyyyyyyy

x
aaa
bb
@end example

but I see no way that the indent of the example of the whole should be
removed by a @comment. I haven't investigated why yet.