08a14d52f2
Expose the user menu as a `types.lines` option instead of a baked source file. The shipped menu is a `mkBefore` definition (not a `default`, which a consumer definition would drop), so `local.mc.menu = "…"` appends entries after the baseline and `lib.mkForce "…"` replaces it wholesale. `ini` stays a baked source file: it is section/key=value, so append-to-extend risks duplicate keys — not a safe override path.