My dad downloads x264 in 720p sometimes by accident and he say the 1gb file is too big so before he watches it he will open his old version of DivX official con

My dad downloads x264 in 720p sometimes by accident and he say the 1gb file is too big so before he watches it he will open his old version of DivX official converter software and encode it into 480p with some really low bitrate 'fast encode' setting that makes his 1gb mp4 into a 300mb avi. The blocks are so huge and noticeable it makes me think he's watching .RM files from the 90s lol but hey at least he saves room on his NAS right?