Useless editing widget for built-in menu labels

Screenshot of solution? removing it completely?

Nitpick: Since the entire usage is negated, would it make sense to rename the variable to $is_custom_menu?

+++ b/core/modules/menu/lib/Drupal/menu/MenuFormController.php
@@ -22,6 +22,7 @@ public function form(array $form, array &$form_state, EntityInterface $menu) {
+    $is_custom_menu = !isset($system_menus[$menu->id()]);

@@ -45,6 +46,8 @@ public function form(array $form, array &$form_state, EntityInterface $menu) {
       // A menu's machine name cannot be changed.
       '#disabled' => !$menu->isNew() || isset($system_menus[$menu->id()]),
+      // The machine name of a system menu cannot be altered.
+      '#access' => $is_custom_menu,

The #disabled condition right above the touched line could use the new !$is_custom_menu, too (this time, negated).

Duplicate of #945654: Default menus have hardcoded titles which cannot be edited?

My idea there was just to let the built-in menu labels be edited, and it seemed to work fine at the time (but it was a long time ago). I don't think there's any reason they shouldn't be editable.

Maybe this is a can of worms, but why cant you just edit this? I always thought that the title should be editable, and the machine name could be locked.