I am sure that none of the `.gif` files on my computer have been silently replaced. And there absolutely are cases where a lossless GIF is smaller than a lossy

I am sure that none of the `.gif` files on my computer have been silently replaced. And there absolutely are cases where a lossless GIF is smaller than a lossy video format.