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.