I gave a shot at a simple gif creation extension, made some progress, but the thing is too slooooow to be usable in any game (and it still has some bug I can't figure out). If anyone knows a VERY fast way to get the pixels from a BitmapData I can try it out.