Animated GIFs have been around for almost two decades, allowing users to create and share simple animations online. The file format has persevered despite its shortcomings (e.g., no sound), and in ...