“GitHub Copilot grew from 20 million to 26 million subscribers in the most recent quarter.”