I'm assuming that they were buying great Rust devs (given codex is written in it).