We pulled all the annotations on April 10 and turned off InVideo Programming completely. The results were pretty drastic and noticeable almost immediately: ...

Like a similar effort that folded AIDS proteins, the games "translate players' actions into program annotations," to kill numerous bugs in systems code, according to DARPA.