This is silly PC nonsense. A color is just a color; its the tone of the comments that matter.
I once worked in a job involving lots of writing. Several senior people were involoved in the editing and fact checking process but the green pen was reserved exclusively for comments/critique from the office boss. Green was the dreaded color that nobody wanted to see. lol
I have always used green ink to grade with. I have a rule in my classes, the students can use any color they want to write with as long as it is dark enough for my old eyes to read, and green is my color only. They love this rule because they like to use lavender, turquoise, dark pink, orange or a number of colors. I always hated red ink on my papers when I was in school. It had a stigma. My rule is a way of creating a little good will with my students.