Save to animated gif; docs improved