Fix race condition on `KeyboardInterrupt` arriving in `Command.main()`
The story of the bug "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 bug 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 bug.