a hotkey for diags