Issue #304: Rename the 'main menu' menu to 'primary navigation'.
Merge pull request #528 from jenlampton/304-rename-main-menu

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