Comment by ascorbic

For those you can often use animated WebP, or even APNG. They all have close to universal support and are usually much smaller.