I downloaded it many years ago when it was published (I can’t find it now). It is an actual gif but it’s very low res (and obviously it’s 256 colours) and very large, some players will fail to load it, and you can give up on web players