static File associatedImageMarkingsFile(File f) {
  ret replaceExtension(f, ".markings");
}