@user1306322 If someone tells me how to make thumbnails of all the images, I'll do it. From what I can tell this should be doable with e.g. ImageMagick (see
imagemagick.org/Usage/thumbnails), but I'm too lazy to figure it out myself. Right now the only way I know of to do it is in GIMP, which has to be done individually for each image.