docs: def all_files_in_directory(path):
      """ Recursively ist all files under a directory """
      file_list = []
      for dirname, dirnames, filenames in os.walk(path):
          for filename in filenames:
              file_list.append(os.path.join(dirname, filename))
      return file_list