svoid deleteErroneousBinarySnippets() {
  for (File f : listFilesOnly(getGlobalCache())
    if (startsWithDigit(fileName(f))
      deleteFileVerbose(f);
}