History truly is a circle: We replaced animated GIFs with soundless AVC/HEVC/VP8 videos for storage efficiency, then we replaced still JPEGs with the superior HEVC/VP8 intra-frame compression formats (i.e. HEIF/WebP), only to replace that with JPEG-XL (hopefully soon) – which is apparently a good starting point for a simple animated graphics codec :)