Karabiner Ctrl ` to F20

Karabiner Ctrl ` to F20.json

{
  "title": "Karabiner Ctrl ` to F20",
  "rules": [
    {
      "description": "Karabiner Ctrl ` to F20",
      "manipulators": [
        {
          "from": {
            "key_code": "grave_accent_and_tilde",
            "modifiers": {
              "mandatory": [
                "left_control"
              ],
              "optional": [
                "any"
              ]
            }
          },
          "to": [
            {
              "key_code": "f20"
            }
          ],
          "type": "basic"
        },
      ]
    }
  ]
}