static File associatedInfosFile(File f) {
  ret replaceExtension(f, ".infos");
}