Tags: patch

Hello,

I'm sending two alternate patches to improve the docstring of
info-menu-star. Either of them looks sufficiently fine to me. But one of
them might better suit Emacs' style.

The current docstring doesn't provide enough information on
info-menu-star, leaving open the question: why "every third `*' in an
Info menu" is so special?

Also, "every third" isn't a correct description, since only 1..9
numbers/items are used for navigation (and highlighted accordingly).