Fix race condition on `KeyboardInterrupt` arriving in `Command.main()`
The story of the issue "Fix race condition on `KeyboardInterrupt` arriving in `Command.main()`" and how each model did on it.
Models fixed it in 2 of 6 recorded runs. The issue is in commit 08a7bc6 of the repository's git history and the real fix is commit fc518e4. A model gets the code at the first commit and the repository's own tests decide if it fixed the issue.