[02:42:35] <MIner_Editor>	 HI all.  I tried customizing my shortcut keys but it won't let me specify Control characters.  Not a big deal... I can work around that, but what I'd actually like to do at this point is restore the defaults.  I tried uninstalling and re-installing, but it does not revert to the default shortcuts, but retains my previous selections.
[02:46:29] <MIner_Editor>	 I did look at my User:Miner Editor/huggle.yaml.js file but customized shortcuts are not stored there