Codex team made the right call to rewrite its TypeScript to Rust early on