(2021-01-08, 18:07)Orion Pobursky Wrote: For self-consistency reasons I agree. The reason they probably haven't been flagged is that both spellings are correct. Grey is more common in UK/Commonwealth and Gray is more common in the US but they can used interchangeably.
I know there are 2 different spellings, but we have decided to use only one. I'm asking, did we decide not to correct these?