#8 Tabs now closeable by `exit`, by mouse click, and by C-w.