Gif devrait être remplacé.
Ils font maintenant des aPNG, qui sont des PNG animés. Exemple : http://lehollandaisvolant.net/tuto/maple/anim-sphere.png (ça marche dans Firefox et Opera <=12.x).

aPNG est beaucoup plus compact, surtout pour les petits fichiers, et le format est 100% libre, alors que le Gif a toujours un historique peu glorieux sur les droits et licences.
— (permalink)