(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.