I have noticed that any HDR to SDR conversion I’ve seen have a green tint to them (Any movie).
Here is the screenshots from the non-HDR 1080p blu-ray(included in 4K package).
https://www.blu-ray.com/movies/Star-Wars-Episode-V-The-Empire-Strikes-Back-4K-Blu-ray/257141/#Screenshots
Unless it’s just me. They still need a slight contrast boost. But not to crazy lol.