“Microsoft's GitHub Copilot revenue was approximately $500 million earlier in the year.”