Interesting. I misremembered the Jenkins traffic light originally using green (I probably got confused by a plugin which changes the color) and was convinced it

Interesting. I misremembered the Jenkins traffic light originally using green (I probably got confused by a plugin which changes the color) and was convinced it was a weird accessibility change. For the record: I'm green-blind and I always found the Jenkins colors confusing because red is too pale and light to provide good contrast with the blue. Hence I always assumed it was just a poorly executed accessibility fix.