Good point—I hadn't thought of that, and I'm not sure that I share anonymonk's confidence that it's fair use. I'm not familiar with the challenges, but would it be possible for you to describe, in your own words, the challenges that we're trying to meet, or are they crucially tied to particular scripts to be fixed?

UPDATE in response to a downvote: I'm not saying that it's not fair use, just that I don't know enough (any) copyright law to know that it is.