Function handle_goodbye 

pub(super) fn handle_goodbye(state: &mut State, ctx: &Ctx) -> Vec<Event>