Red here does not mean #ff0000. it means color 1. in the 4 bit colors palette

If you're color blind, you change the palette in your terminal emulator so "red" and "green" become different colors you can distinguish. It even works for rarer forms of color blindness. This works best when people follow the de-facto standard.