Re: dot in node not accepted in Info in menu entry

Fixed. Info now correctly follows references to node names containing dots,
as long as the info format allows it.  In particular, such node names
are OK in menus and single-argument xrefs.

Regards,
Sergey