Sure, but then your comparing apples and oranges. If you take a 4k stream and turn it into 80x25 resolution (ok, its not exactly that) its of course going to be smaller. But if you compare the same resolution, the one using a video codec is going to be smaller. Even uncompressed its going to be smaller in a raw video format compared to text based escape codes (although i dont know what gzip would do compared to uncompressed video)