Add hotkey for DrRacket.
No more Gnome conf in the repo.  Did they look at MS Windows' Registry and think 'gee that is a good idea'?