ttyrec to animated GIF