You may have overlooked this, upthread.I hope all the color-blind people there are well versed in local history.
Sure sucks if you're red/green colorblind, in any case.
According to the website I linked, the red light also contains some orange and the green light contains some blue to alert colorblind drivers.