I read somewhere a while ago that favicon support might be coming to WordPress core. If so I wonder if it would include support for animated favicons?