[texinfo-pretest] comma in @node or @float line

[Karl Berry]

    It doesn't work with something like @verb{: aa }  :}. With that exception

That isn't allowed anyway.