Answer product-owner round 1: 0 🔴, 2 🟡 (0 misread); say the old copy is refused and nothing redirects /admin/, show a profile-entry override

examples/config/menu.ts

@@ -3,7 +3,8 @@
 // Absent config = built-in defaults.
 //
 // Brand the app, reorder/rename/group/hide nav nodes and rename/hide profile-menu entries (by their
-// `id`) across all plugins — the override always wins, applied before the per-user permission filter. Every field is optional.
+// `id`) across all plugins — the override always wins, applied before the per-user permission
+// filter. Every field is optional.
 // See src/ui/menu-config.ts (types), src/ui/nav.ts (NavOverride), README → The menu system.
 
 import { defineMenu } from "#menu-config";
@@ -16,7 +17,8 @@ export default defineMenu({
     // theme: "auto",            // default color theme: auto | light | dark
   },
 
-  // Operator override (rename → group → order → hide), keyed by node id.
+  // Operator override (rename → group → order → hide), keyed by nav-node id; `rename` and `hide` also
+  // take a profile-menu entry's id, such as "scheduling:profile-mine".
   override: {
     // rename: { people: "Staff" },                                       // node id → new label (or a catalog key)
     // groups: [{ id: "admin", label: "Admin", children: ["users", "groups"] }],