Gray user names?

Hmm. Hadn’t noticed this. @CC_Sorin or @CC_Mike, can you weigh in please?