Thank you, Jean-Baptiste, but that does not remove or disable the hotkeys, they seem to be part of the default settings - but now I've lost everything else, including history and preferences and interface (which takes me ages to get right). *sob*Reset preferences.