static File convertToGIF(File imageFile) {
  ret saveGIF_verbose(loadImage2(imageFile), changeExtension(imageFile, ".gif"));
}

static File convertToGIF(S imageFile) {
  ret convertToGIF(newFile(imageFile));
}