Note by @fastfinge

@jscholes At this point I would estimate that every line of code has been read by at least two humans, and about 50 percent of them modified directly by a human once the AI was done.