docs: def ids(self):
          """ Returns set with all todo IDs. """
          if config().identifiers() == 'text':
              ids = self._id_todo_map.keys()
          else:
              ids = [str(i + 1) for i in range(self.count())]
          return set(ids)