To handle requests for particular shortcut keys, the best solution may be to 
just provide support for arbitrarily mapping keyboard shortcuts based on user 
preference.

Since this is a common need in software, perhaps we should research what 
open-source modules might be available for this.