Hello Peter,
Something must have changed in WordPress core since we last updated our article. Right now, this section is called Menu Settings, and can be found just below the list of links of the menu (Appearance > Menus).
Cheers, Piotrek
