static File zipSingleFile(File f) {
  assertIsFile(f);
  File zipFile = appendToFileName(f, ".zip");
  if (isFile(zipFile)) ret zipFile; // no overwrite
  var zipOut = newZipOutputStream(zipFile);
  addFileToZip(zipOut, f);
  ret zipFile;
}