I'm not so sure. I sort of wish they hadn't been acquired because these sort of acquihires usually result in stifling the competition while the incumbent stagnates. It definitely is an acquihire given OpenAI explicitly states they'll be joining the Codex team and only that their existing open-source projects will remain "maintained".