As alluded in the comments on that bug, people sometimes actually use animated gifs but almost nobody does the animation via CSS. That said I can't even remember the last time I saw an animated favicon.