hotkey: Nominal conversion to PluginPreferences.