Copilot is not the same agent as GitHub Copilot.