Version number & hotkey.