I just read about tasty #image #compression via
https://evilmartians.com/chronicles/images-done-right-web-graphics-good-to-the-last-byte-optimization-techniques#svg-scales-very-good

take-aways (and there are many): #GIFS are BAD. #WebP are good. #ImageMagick is good. Oh yeah, and those weird conversions of images to video files on Reddit -- how that works, because #VideoCompression is good!