Release binaries are built fresh by CI (.github/workflows/release.yml) and attached to GitHub releases; checked-in binaries here were just stale build output, not something the release pipeline reads.
