> You can do that with JPEGs, just not the obvious way (i.e. by exporting the JPEG at the target resolution.)

Yeah, I don't think GP did it that way.