Yes this was intentional for two reasons:
- A LOT of people had real trouble playing the 80+ GB no DNR version, and being x265 it didn’t really need to be that big.
- The no DNR version was encoded with a specific bitrate (80 Mb/s), while this one was encoded using a quality based setting.
Conversely, the 1080p version is bigger than it was for exactly the same reasons: the noDNR version was encoded using quality based settings, while this one was encoded using a CBR of 40 MB/s for maximum quality - filesize didn’t seem so important here because whether it was 30 GB or 40 GB it was still going to need a DL BD 50 so why not make it maximum quality?