Doesn't look like hotkey.rc is called in the theme.rc at all.