Anyone know of a linux cli tool that allows me to take text and generate gifs out of it? I'm familiar with gifsicle and image-magick, those aren't quite what I'm after. I want something more like the old school banner tool, but instead of ascii, gifs. Does that exist?