*(Sorry I forgot to write a subject in my last email. Resending...)* Recently I updated my Debian system and texinfo is now at 6.3. I found the infokey program is not necessary any more and I like it.
But the `1 menu-digit' (and 2, 3, 4, ...) statement stopped working. When I press `1' it reported error "Unknown command (1)". `0 last-menu-item' still works fine. Is this a bug? (Note that I use `info --vi-keys' to start info.) Thanks.
