Convert terminal recordings to animated GIFs.
