@paolazelli It depends. The gif can be html5 animation, which is a series of images.

I have no problem downloading gifs.