Fix short help abbreviation
The story of the bug "Fix short help abbreviation" and how each model did on it.
Models fixed it in 6 of 6 recorded runs. The bug is in commit 6d5bac5 of the repository's git history and the real fix is commit f67c2bb. A model gets the code at the first commit and the repository's own tests decide if it fixed the bug.