Actually you would have already had it in your modulesdir as it comes with the distro. The problem is the other themes (not Ferix or Saphardana) are trying to load hotkey from their theme.rc. Thats not neccesary as the distro loads hotkey by default. Themers should not load hotkey from their theme.