Bueno, yo por defecto asumo que va con el parche en el ojo...

En cualquier caso, convertir 4K HDR a 1080P SDR no es fácil, ni rápido, ni al final merece demasiado la pena.