Launcher: strip the window back to what's worth reading

A pass for less prose and fewer boxes.

- Header shows the version and node; the port is already in the addresses
  below it, and the module list belonged in the log.
- Settings: "Network" over the port (no explanation under it), "Startup"
  instead of "Starting up", and no node chooser — the path stays visible,
  since which node runs is the first thing worth knowing when it won't.
- Permissions: one line per permission — a status dot, its name, and the one
  thing you can do about it. The standing explanation is gone and the
  modules' own reasons moved to each row's tooltip. Local network results
  still appear under their row after a check, with a short line and a link
  only when nothing answered at all. Re-check sits centred at the bottom,
  outside the group.

The app-level "notify me" switch goes with it: macOS's own per-app
notification setting already does that job, so notifications now follow the
permission alone, asked for by the row's Enable button rather than on first
run.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

launcher/macos/Sources/ServerController.swift

@@ -47,7 +47,6 @@ final class ServerController: ObservableObject {
     @Published private(set) var shellVersion = ""
     @Published private(set) var localURL = ""
     @Published private(set) var networkURLs: [String] = []
-    @Published private(set) var modulesSummary = ""
     @Published private(set) var settingsDir = ""
     /// The server answered /api/modules — listening, not merely alive.
     @Published private(set) var healthy = false
@@ -125,7 +124,6 @@ final class ServerController: ObservableObject {
         message = ""
         localURL = ""
         networkURLs = []
-        modulesSummary = ""
         healthy = false
         healthMisses = 0
         openedDashboardThisRun = false
@@ -283,7 +281,6 @@ final class ServerController: ObservableObject {
         switch field {
         case "Local":    localURL = value
         case "Network":  if !networkURLs.contains(value) { networkURLs.append(value) }
-        case "Modules":  modulesSummary = value
         case "Settings": settingsDir = value
         default: break
         }
@@ -330,16 +327,14 @@ final class ServerController: ObservableObject {
                 : "ProdDash \(how)."
             let last = lastProblemLine.isEmpty ? "" : " Last message: \(lastProblemLine)"
             fail(why + last)
-            Notifier.shared.post(title: "ProdDash stopped", body: why, if: settings.notifyOnProblem)
+            Notifier.shared.post(title: "ProdDash stopped", body: why)
             return
         }
         let delay = [1.0, 2.0, 5.0, 10.0][min(crashTimes.count - 1, 3)]
         state = .stopped
         message = "ProdDash \(how) — restarting…"
         log.launcher("ProdDash \(how)\(detail); restarting in \(Int(delay))s")
-        Notifier.shared.post(title: "ProdDash stopped",
-                             body: "It \(how)\(detail). Restarting…",
-                             if: settings.notifyOnProblem)
+        Notifier.shared.post(title: "ProdDash stopped", body: "It \(how)\(detail). Restarting…")
         scheduleRestart(after: delay)
     }