The encodes hit a sweet spot: they use modern x265 (HEVC) for even smaller sizes (as low as 1.8 GB) without perceptible quality loss.