Manage terminal workspaces using session naming by Bonnie Eisenman