[Users] Big screwup, reassigned key by mistake

[Michael]

btw, when i de-select 'Enable customize shortcuts' in the preferences, does it preserve my modifications (i.e., just block any further changes) ?