The four changes are in, so the page says so and points at the code that now owns each answer. The
reasoning stays: the alternatives are the part worth being able to re-read, and §1.3's sequence —
two ports now, our own signalling server and a certificate on the day audio or a browser gamepad is
wanted — is still ahead of us.
§7 also names the one piece deliberately left out: `dev-push.sh` still resolves a board with
`wifi status` and embedded Python, and switching it to `duckctl ip` touches the push path.
Assisted-by: Claude:claude-opus-5[1m]
9164c7623b