{
    "description": "Ctrl + Delete to Option + Delete",
    "manipulators": [
        {
            "from": {
                "key_code": "delete_or_backspace",
                "modifiers": { "mandatory": ["command"] }
            },
            "to": [
                {
                    "key_code": "delete_or_backspace",
                    "modifiers": ["option"]
                }
            ],
            "type": "basic"
        }
    ]
}