Hotkey config

Let's see if this triggers the Travis bots.