// don't use this anymore, use the other version below
static File deletedModulesLogFile() {
  ret javaxDataDir("deleted-modules.log");
}

static File deletedModulesLogFile(S moduleSnippetID) {
  ret javaxDataDir("Deleted Modules/" + psI(moduleSnippetID) + ".txt");
}