docs: def _optlist(self):
      """Get a string representation of the options in short format."""
      res = ""
      for o in self.options:
          res += o.short
          if o.argName is not None:
            res += ":"
      return res