maintainer-wanted Multiple GNOME terminals in one window