Codenotch 1.13.0

Much lighter on your battery, Grok and screen edges on Windows, and a Windows Settings window that opens again.

• Lighter on the battery: Codenotch idles at a fraction of the CPU it used (about 7% of a core down to under 2% in our measurements), and moving the pointer costs less than half as much. The working spinner is drawn by the system instead of redrawing the notch every frame, and full-screen apps are checked every two seconds rather than on every movement.
• Windows Settings opens again: in 1.12.0 the Settings window on Windows opened empty. It's fixed, and CI now checks the Windows pages so that kind of mistake can't ship again.
• Grok, any screen edge, and readings in the tray on Windows: Grok joins the Windows notch, the notch can sit on any edge of any monitor, and the tray menu shows each provider's readings.
• Ghostty tabs: clicking a session running in Ghostty selects its tab rather than only bringing Ghostty forward.
• Smaller fixes: Codex sessions are read from the end of the file instead of all of it; the Codex card hides an empty reset-credits section; a Claude token on Windows that fails to renew is retried instead of freezing the card; Grok's trusted-issuer check is exact on both platforms.

The Windows installer is attached by the packaging workflow a few minutes after this release goes up. It is not code-signed yet, so SmartScreen asks once: More info → Run anyway.

Thanks to @unchase, @rafaelbarea, @wxy000, @Petagorus, @1boooook2-maker, @RawJat and @divingsbysangam.