Issue #304: Rename the 'main menu' menu to 'primary navigation'.