Karabiner: Mapea Ctrl+Click a Cmd+Click (solo para IntelliJ IDEA)

Estoy tratando de usar Karabiner-Elements para mapear Ctrl+Click a Cmd+Click -- solo para IntelliJ IDEA.

Se me ocurrió esta regla JSON, que parece válida y correcta:

{
    "description": "Ctrl+Click izquierdo => Cmd+Click izquierdo (solo IntelliJ IDEA)",
    "manipulators": [
        {
            "conditions": [
                {
                    "bundle_identifiers": [
                        "^com\\.jetbrains\\.intellij$"
                    ],
                    "type": "frontmost_application_if"
                }
            ],
            "from": {
                "modifiers": {
                    "mandatory": [
                        "control"
                    ],
                    "optional": [
                        "any"
                    ]
                },
                "pointing_button": "button1"
            },
            "to": [
                {
                    "modifiers": [
                        "command"
                    ],
                    "pointing_button": "button1"
                }
            ],
            "type": "basic"
        }
    ]
}

Pero por alguna razón, no hace nada (excepto mostrar una notificación de Karabiner sobre la necesidad de presionar la tecla Ctrl una vez más).

¿Qué he pasado por alto?