svoid salvageFilesFromOnboardingDemo(File dir) {
  moveFile(newFile(dir, "JavaX-Data/#1020194"), 
    makeDirNameUnique_startWithOne_noDot(javaxDataDir("#1020194/fromdemo")));
}