“As of its latest earnings report, GitHub Copilot has 15 million users.”