Actually, from what I've seen, most .webm files are much smaller and yet higher quality than many .gif files. I know this first hand because I've made gifs from them and seen radical size increases. The more important issue to me is that they also support sound, which can bloat their size beyond what I want, and I have no idea how to strip them of sound as I've never had to look.