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.