added another variant of the control-down-arrow keycode (sigh, terminals)