#3 Customizable shortcuts

[Nicholas Bishop]

In addition to making shortcuts customizable, it also
needs to be easy to copy the settings from one
installation to another, either with a simple file
transfer, or a very simple import/export dialog.