{
    "showDeveloperTools":  [
        {
            "key": "F12"
        },
        {
            "key": "Cmd-Opt-I",
            "platform": "mac"
        }
    ],
    "refreshWindow":  [
        {
            "key": "F5"
        },
        {
            "key": "Cmd-R",
            "platform": "mac"
        }
    ],
    "reloadWithoutUserExts":  [
        {
            "key": "Shift-F5"
        },
        {
            "key": "Cmd-Shift-R",
            "platform": "mac"
        }
    ]
}
{
    "showDeveloperTools":  [
        {
            "key": "F12"
        },
        {
            "key": "Cmd-Opt-I",
            "platform": "mac"
        }
    ],
    "refreshWindow":  [
        {
            "key": "F5"
        },
        {
            "key": "Cmd-R",
            "platform": "mac"
        }
    ],
    "reloadWithoutUserExts":  [
        {
            "key": "Shift-F5"
        },
        {
            "key": "Cmd-Ctrl-R",
            "platform": "mac"
        }
    ]
}
Use an unused shortcut for Reload without Extensions
Use an unused shortcut for Reload without Extensions
