I guess a few decades ago this kind of thing wasn’t standardized everywhere. In the 1960s, my uncle, who is very red/green colorblind, was driving into Richmond, Virginia, where they apparently had red on the bottom with green on top. He got a ticket for running a red light soon after arriving in town, but was able to get it dismissed because of his colorblindness.