Many thanks to Batch Resize Images Quickly in the OS X Terminal for giving me a quick and perfectly adequate way to make thumbnails for a web page from 32 photos:

  sips -Z 256 *.jpg	

Destructive! Work on copies.