But the best image format to download is the original one it was uploaded in, without the recompression of server-side conversion to a lossy webp which we’re seeing all over the place.

Even if it wasn’t, you could just convert it to .jpg if you felt strongly about it. Not as though there’s a compatibility issue.

The complaint people are having is with resizing/manipulation after download. They want these enormous uncompressed files floating around on every website, in the off chance they plan to download it and manipulate it. 99.9% of the web needs to be full of megabyte sized image files for the 0.1% y’all want to play with.