docs: def add_data_file(data_files, target, source):
      """Add an entry to data_files"""
      for t, f in data_files:
          if t == target:
              break
      else:
          data_files.append((target, []))
          f = data_files[-1][1]
      if source not in f:
          f.append(source)