OpenDingux: Update the manual with the new way to enter the menu.