Merge pull request #838 from dvvrd/robots

Hotkey manager