First, it is "Kisolre" and here when you rename a person you have to buy him a shirt
The green was the second option because in your last screenshot (gray background) and also here the text is not well readable so a more contrasting one should be better. And since it is not an actual error anything resembling red will be interpreted as such.
. .
Another thing with partially redundant constraints present - I found out that in the provided file if I can add some dimensional constraints and they neither cause errors nor are reported as redundant. Here is a short clip:
.