static bool deleteDownloadedLibrary(S id) ctex {
  ret deleteFile(DiskSnippetCache_getLibrary(psI(id)));
}