Hopefully no one takes this as a nit, but...
You're right that Randy can make this very simple change, but to be
a bit proper about all of this, the chairman of the working group
should attempt to gain consensus before making such a change.
Does anyone out there violently disagree with the addition of this
new enum? Please say so NOW.
I hope the new enum is added. In fact, if there are any addition
colors that need to be added, then let's add them at the same time.