svoid scanDirToFile(File dir, File destFile) {
  saveTextFile(destFile, structLines(map fileStatus(allFilesInDir_recursive(dir))));
}