[Mossly]

Twitter for instance automatically converts gif to h264.

However there is a point to be made that iOS only grants VP9 decoding to Youtube, certain colourspaces fail to decode on Android etc. ergo gif is a safe default.