menu: Use GtkPopoverMenu instead of GtkMenu for primary menu
Popovers are recommended for primary menus; In addition, the
migration from the app menu introduced new conventions like
using "About [App]" instead of "About", and grouping
Preferences with About, Help, and Keyboard Shortcuts.
Check out, review, and merge locally
Step 1.
Fetch and check out the branch for this merge request