An update to the great PNG animation script AnimatedPNG.js