doing encodes is the practice (and sometimes art) of compressing [videos] to a reasonable size without losing quality