Add an alternative, standardly chosen, less noisy style for the menu
Update manual (text only) for the new less noisy style of the menu