In der Tat kann man auch “red” nehmen. Fürs Rendern wäre es aber leichter, wenn zumindest der Hexadezimalcode nicht auch noch in 2 Varianten geschrieben würde.