Animated GIFs—we’ve all seen plenty of them. They’ve become the de facto standard for Internet memes and funny animations, but they’re also useful as alternatives to short video files—any modern ...