docs: def parse_version(str_):
      """
      Parses the program's version from a python variable declaration.
      """
      v = re.findall(r"\d+.\d+.\d+", str_)
      if v:
          return v[0]
      else:
          print("cannot parse string {}".format(str_))
          raise KeyError