“hotkey overlay” is another name for Keyboard shortcuts dialog.