This is a bug, in my opinion, but it may need to be categorized as a feature request. For accessibility, landmarks and in particular nav elements need to be named so those using assistive technology can tell the difference between menu items. Currently, all nav elements have an aria-label of “menu” which is not helpful. I recommend adding a feature to name the menu element under the general tab for the greatest flexibility or at least the menu name in WordPress.