GIFs have LZW lossless compression which I'd expect would perform pretty decently on images of terminals, with their long runs of similar colors. Probably not n

GIFs have LZW lossless compression which I'd expect would perform pretty decently on images of terminals, with their long runs of similar colors. Probably not nearly as well as a lossy video format but a far cry from uncompressed. Edit: Oh, there are some actual numbers elsewhere in these comments.