// TODO: this is garbage as a favicon.ico
// It needs all the different sizes (16x16, 32x32, 48x48)

lib 1400188 // image4j (https://sourceforge.net/projects/image4j/files/image4j-core/0.7.2/)

import net.sf.image4j.codec.ico.ICOEncoder;

static File saveICO(File f, BufferedImage img) ctex {
  var img2 = cropToSquare(img);
  L<Int> sizes = ll(16,32, 48);
  ICOEncoder.write(map(sizes, size -> resizeImage(img2, size)), f);
  ret f;
}

static File saveICO(BufferedImage img, File f) {
  ret saveICO(f, img);
}