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

[Christopher Schmidt <christopher@ch.ristopher.com>]

Juri Linkov <juri@jurta.org> writes:

> 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?

Well, menu items a densely packed whereas regular cross references are
usually spread around the node.  I think this is not exactly helpful.

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

Thank you.

Is my second patch OK to commit?

        Christopher