“As of a few quarters ago, GitHub Copilot was used by 77,000 organizations and had 1.8 million paid users.”