Video codecc didnt really exist when gifs were introduced, and mpeg1 required decoder hardware at the time. Wasnt really until mp4 became standard to retire gifs for good. (Lets just ignore the whole internet Flash phase)