Yes, the 4K version obviously uses the same scan as the “old” Blu Ray, and is a little bit more vertically cropped (there is less image on the top and the bottom of the picture than in the “old” BR).
Maybe the scan was done in 4K nine years ago? Otherwise it is just an upscale with a pseudo-HDR.