“OpenAI's Codex is now the product and model used by most of the best coders.”