static BWImage smoothResizeBWImage_heightOnly(BWImage img, int newH) {
  if (newH == img.getHeight()) ret img;
  ret new BWImage(resizeImage(img.getBufferedImage(), img.getWidth(), newH, Image.SCALE_SMOOTH));
}