I had a similar shock few year back, when my daughter elementary school teacher told me, that teachers are encouraged not to use Red ink, as it is too aggressive. Purple is better
Makes sense considering these days kids get participation trophies for existing. Weak men create hard times...etc.