And yes, one of the most weird things about them is exactly what you mentioned, that gray is actually darker than dark gray. We already had gray from the initial set of 16 colors and we couldn’t change it.
Today I learned that the standard CSS definition for gray is darker than darkgray. 🙈
Turns out things can get inconsistent if you combine two different lists of color names.