More than that, I think it's quite relevant, because it shows that the complexity in the tooling around writing code manually is not so inessential as it seems.

More than that, I think it's quite relevant, because it shows that the complexity in the tooling around writing code manually is not so inessential as it seems. Any system capable of automating a complex task will by need be more complex than the task at hand. This complexity doesn't evaporate when you through statistical fuzzers at it.