static void zip_addTextFile(ZipOutputStream outZip, S name, S text) ctex {
  outZip.putNextEntry(new ZipEntry(name));
  byte[] utf8 = toUtf8(text);
  outZip.write(utf8, 0, l(utf8));
}