Files
codex/.vscode/extensions.json