“hotkey” is another name for Keyboard shortcut.