[OliverGilan]

Maintainer here.

In the case where a human edits a previously AI-generated line we simply track that as a human-produced line of code. We are thinking of making this a distinct subcategory because there's a lot of useful info in that data.

Regarding performance we haven't done rigorous benchmarks but we've been using this internally and haven't noticed any problems