So, here's something I learned recently - despite all the cyan_* tags being aliased to blue_*, they are actually not the same color. Cyan isn't just "light blue" or "greenish blue." It's as much a distinct color from blue as red is from yellow. In fact, it's one of three primary colors in subtractive coloring.
I first learned this after hearing that Russian and Italian speakers are apparently (slightly) better able to distinguish between blue and light blue/cyan. The reasoning for this is because those languages have a distinct word encompassing light blue and cyan, which is actually considered a primary color distinct from true blue, whereas in English (and most languages, actually) all shades of blue and cyan are generally considered shades of blue. In fact, in some languages, green, blue, and cyan are all considered to be the same color. This is similar to how, in English, "pink" is generally considered separate from red, and it encompasses not only light shades of red, but also much of the neighboring color magenta, which is, like cyan, also a subtractive primary color. There's even a Wikipedia article describing this distinction across many languages. From the Italian section:
Azzurro, the equivalent of the English azure, is usually considered a separate basic color rather than a shade of blu (similar to the distinction in English between red and pink). Some sources even go to the point of defining blu as a darker shade of azzurro.
So, I thought this was interesting, but I didn't think much of it otherwise. That is, anyway, until I opened Krita one day and had a look at the color wheel. Notice how this particular wheel I'm using as an example does not include gradations of saturation or lightness, which helps elucidate the distinction. Clearly, cyan is not just "light blue." It actually has quite a large section of the color wheel all to itself. The same piece of the pie as blue or red or yellow or green or magenta. And since lightness is not included in this wheel, you can see that what appears to be "light blue" is actually treated with the same luminosity as the apparently much darker "true blue".
Why? Well, that's a question for physics and psychology to answer, and is somewhat outside the scope of this thread. However, it is worth noting that different hues actually have inherently different luminosity values. And this article goes over the basic psychology behind why we perceive these colors differently.
Now, if we look at this color wheel taken from Wikipedia, we can see that there are essentially six primary colors if you take additive and subtractive coloring together: red, yellow, green, cyan, blue, and magenta. Basically, every primary color* is represented by our tags except for cyan, which is aliased to blue.
*"Magenta," in English, is generally considered a subset of pink, or sometimes purple on the darker/bluer side of the spectrum. This color is already pretty well represented by the pink_* and purple_* tags, but they generally include light red in addition. Sure, it would make more sense to simply tag light red as red, like how light_green_* and light_blue_* and so on are generally not given distinct color tags, but we all know that this will never work out in practice. Even if we aliased pink_* to magenta_*, people would continue using it for light shades of red since, at least in the English-speaking world, magenta is so commonly considered a shade of pink or light purple. However, I think it's fine to leave pink/purple as-is. It's "close enough" for our purposes. It actually increases the precision of color tagging at least somewhat, as magenta is being divided into the darker/bluer shades in purple and the lighter/redder shades in pink by the current system. At least magenta isn't aliased to red or blue, which would be just as fundamentally incorrect as the cyan -> blue alias is.
With that all being said, I'd like to propose removing all the cyan -> blue aliases. In fact, there was some pushback against aliasing them in the first place when it was all done about six years ago, and this pushback was never really addressed. See the discussion at topic #16756 and topic #19170. The only argument against keeping cyan was apparently the fact that people often mistag cyan as blue anyway. However, this doesn't really address the fact that the "solution" to the problem was simply to enforce the mistagging through an alias. Instead of having some posts tagged correctly as blue and some tagged correctly as cyan with some others still mistagged as blue that are actually cyan, what we now have are all cyan posts mistagged as blue with no way to correctly tag the color. Even if mistagging is an issue, having at least some posts tagged correctly is preferable to the current situation where none of them are.
There is also the closely related issue of the teal_* tags. Technically, "teal" is either a mix of green and cyan, or commonly just dark cyan with no green. However, teal is officially included in the color variants of some tags such as teal eyes, teal hair, and teal scales, having implications in place to the base tag (like how teal hair implies hair). Meanwhile, a few other teal tags (namely teal_fur, teal_horn, and teal tail) are aliased to their green_* counterparts, even though teal is often just dark cyan, and in some cases may even be closer to blue than to green. It seems that there is no "official" stance on the teal tags, as some have been abolished while others remain valid with implications. I will say, however, that aliasing to either green or blue will likely cause mistags. Teal is not always green or always blue, but it is always some shade of cyan. So, I think aliasing all the teal_* tags to their cyan_* variants will not only avoid mistags, but also help populate cyan_* with correct posts.
Now, I created this thread to get some more discussion on this proposal before I go writing a BUR for it. If anyone has any further ideas/suggestions/objections, let's hear them.