re: #888 jcm
IIRC in GIMP you can resize and specify pixel dimensions and file size.
Thanks, I’ll look for that.
Downloaded GIMP a long time ago and never took the time to learn how to use it.