I am fine with `trigger_keydown` being removed from here, but definitely think that `event_to_shortcut` should stay.