static File saveGIF_verbose(BufferedImage img, File f) ctex {
  ImageIO.write(img, "gif", mkdirsFor(f));
  print("Wrote " + fileInfo(f));
  vmBus_send('wroteFile, f);
  ret f;
}