This does seem to be a good opportunity to retire the obsolete and wasteful .gif format ? (Or maybe at least limit it to maximum pixel area ?)
But you just meant looping animations, right ?
But you just meant looping animations, right ?
.gif can handle transparency.
.gif will never be obsolete.
Also dithering is an aesthetic!