I doubt people will move away from the term GIF. Whatever optimizations we do to the format (short, silent, looping video) will still be referred to as gif. Too

I doubt people will move away from the term GIF. Whatever optimizations we do to the format (short, silent, looping video) will still be referred to as gif. Too late for a name change.