[bigstrat2003]

Rather, using a tool notorious for making code with a higher error rate than humans is what people are upset about. It's not just having bugs in and of itself.