Lazy web tweet: A good tool to turn a bunch of images into an animated gif? • Dominik Schwind