Belatedly add disconnect_when_ui_closes from chapter 12