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