Green and Red are two colours commonly used together, I am not sure they would change them but probably edit them to make them more easily distinguishable like garuda. They could also go the route UK traffic lights have gone (i say UK because I dunno if they do it everywhere or not) where the green light has a blue tone in it so drivers with colourblindness can distinguish it from red