Im still amazed that GIFs are still a thing in 2021, back in the early days of the internet they were used as a fudge to get raster animations onto the web when no other option was available. But they are limited to 256 colours and are not optimised for file sizes.
We have had other more suitable animated graphic formats for years such as MNG and APNG as well as WebP, I wonder why none of these have gained traction despite being technically better?