Codex doc update