Personal productivity

Fix a broken website button with a custom browser extension

The 'Open in GitHub Desktop' button the user relied on for years stopped working. He asked Codex to triage it: Codex confirmed it was a real bug on the website, then wrote and installed a custom extension that fixed it, all in under a minute.

Agent(s): Codex
Source: X post (2026-10-20)
Verified: 2026-10-20

Try it yourself

Prompt idea: “The [button/feature] on [website] stopped working for me. Figure out whether it's my setup or a bug on their site, and if it's their bug, write a small browser extension or userscript that works around it.”