too many, so I'll remove half of them.
A tool to create GIF animations. Submitted by: Nakai@Mlab.t.u-tokyo.ac.jp Reviewed & modified by: max (Closing PR #1999.)