Yes, of course. The IP or whatever they used, maybe 10 years could be very destructive on the material if it was stored incorrectly, the rest of the transfer don't show that amount of fading though.
I doubt the green was first added for the early video releases though, both your '82 Betamax and early UK VHS have the green credits, but it would be interesting to see how the JAP '86 look. Even if they were actually white on the '71 prints, we will go green for this preservation IMO as this is the re-release cut. On the other hand, we don't know if they used the Warner Kinney logo on the re-release prints. ;)