static BufferedImage scaleBufferedImageToMaxPixels(int max, BufferedImage img) {
  int w = img.getWidth(), h = img.getHeight();
  if (w*h <= max) ret img;
  double scale = max/(double) (w*h);
  ret scaleImage(img, scale);
}