@carnage4life has GitHub co-pilot been available for 4 years? It looks like it was released in 2021. Did the folks in this study have access to it before that?