OpenAI's Codex is now used weekly by over 4 million developers.