I finally had a chance look at the 4K HDR version, and it looks amazing! My comments above remain the same — it doesn’t look exactly like the original release, but it’s very much in the spirit of the original release. I have some reservations, but overall it looks really good, and seeing this film in HDR is a really cool experience. It’s super visceral! And of course, now that there’s no awful green pollution throughout the entire film, it’s finally watchable again!