I think we agree then, and appreciate the correction on the lower court settlement. If Copilot is infringing, I suspect it's correctable (by GitHub) by adding

I think we agree then, and appreciate the correction on the lower court settlement. If Copilot is infringing, I suspect it's correctable (by GitHub) by adding a bloom filter or something like it to filter out verbatim snippets of GPL or other copyleft code. (And this actually sounds like something corporate users would want even if it was entirely fair use because of their intense aversion to the GPL, anyhow.)