“The original team that developed the first version of GitHub Copilot has largely departed to work at other companies.”