bug#11656: 24.1.50; Info-\(next\|prev\)-reference: Add numeric prefix argument

[Juri Linkov]

>> So you are saying that you frequently count the number of
>> cross-references to the one you want, and then type "C-u 10 TAB" or
>> some such?
>
> Yes.
>
> If the number of cross-references is greater than 10, I estimate.  That
> is, I use C-u C-u TAB and then continue with TAB or M-TAB.  In the end
> this is a lot easier and faster than using the mouse,

To choose a menu item by its number is possible by typing
`1', `2', `3', ..., `9'.  But to help the user to select
the right number, every third `*' in the menu is highlighted
with the special face `info-menu-star'.

I wonder if it's possible to use a similar indication for references?

In any case, I think your patch is useful.  If a node begins with the menu
(so there are no references before the menu beginning), menu indications
will help to give the right argument to `Info-next-reference' to arrive
to the reference of the menu item.