“Matt Garman cited a recent statistic from OpenAI indicating that the user base for Codex grew from 2 million to 4 million in a very short period.”