code: def rename_tab_uuid(self, term_uuid, new_text, user_set=True):
          
          term_uuid = uuid.UUID(term_uuid)
          page_index, = (
              index for index, t in enumerate(self.get_notebook().iter_terminals())
              if t.get_uuid() == term_uuid
          )
          self.get_notebook().rename_page(page_index, new_text, user_set)
docs: Rename an already added tab by its UUID