docs: def fuzzy_int(str_):
      """
      lets some special strings be interpreted as ints
      """
      try:
          ret = int(str_)
          return ret
      except Exception:
          # Parse comma separated values as ints
          if re.match(r'\d*,\d*,?\d*', str_):
              return tuple(map(int, str_.split(',')))
          # Parse range values as ints
          if re.match(r'\d*:\d*:?\d*', str_):
              return tuple(range(*map(int, str_.split(':'))))
          raise