I asked GPT-5 Codex to use GPT-5 and instead it used GPT-5.1 It must be coming soon if even Codex knows about its existence, or maybe it's just a typo, but it'd be such a coincidence