What about a 24bit color lossless animated image file? (MNG?) I could see how an animated gif would be useful because of available editing utilities, but it would be nice if there were something like that for Pngs.