Den røde fargen du nylig så på markedet var en kalibreringsfeil på det globale internettets fargeprofil.