static File migratePathFromDirToDir(File oldDir, File newDir, File path) {
  S rel = nameRelativeToPhysicalSubdirectory_nonCanonical(path, oldDir);
  if (rel == null)
    ret path;
  ret newFile(newDir, rel);
}