docs: def _get_files(path):
          """
          Returns the list of files contained in path (recursively).
          """
          ret_val = []
          for root, _, files in os.walk(path):
              for f in files:
                  ret_val.append(os.path.join(root, f))
          return ret_val