Welcome to the images wiki!
Images for v25.06.0 were resized using:
for f in *.png; do magick "$f" -resize 75% -strip -interlace Plane ppm:- | cjpeg -quality 75 -optimize -progressive -outfile "../areas/${f%.png}.jpg"; done
Better quality with WebP at similar size:
for f in *.png; do magick "$f" -resize 75% -strip tiff:- | cwebp -q 85 -m 6 -o "../areas/${f%.png}.webp" -- - done