The green color is also not unique to the Tech print, and seems to have been in all 1977 prints. I matched the Vader arrival scene of the raw LPP scan used for the SSE to the Vader arrival scene of the Tech scan (which is a neutral scene), and the Leia/R2-D2 shot that follows looks like this (don’t mind the artifacts, the video I have is very compressed, especially in the dark areas):
This is definitely not green or even cyan light. Light does not act like this especially Green light. It’s not lit with a green filter I can tell you that much.
Like I said, the panels could have been green, which even when lit with neutral lighting would give the entire scene a green cast, and the green cast of the Technicolor print would exaggerate this effect. As noted before, the panels in the back look pretty neutral grey, so different color panels is an option. Secondly, the scenes could have been timed this way, either delibirately or by mistake.