It's probably about time that WebP should get promoted, especially instead of animated GIF. the libwebp library comes with a gif2webp program to make the conversion especially easy.
Just doing it now, converting all the animations to WebP makes it 1.6MB. and it works in all current browsers.
Just doing it now, converting all the animations to WebP makes it 1.6MB. and it works in all current browsers.