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