Single post in A Guide to DNCs

I'm assuming it's discourged (but strictly not against the rules) for someone to have an actual DNI in their Trainer Card? I noticed a member of my Type Race team last month has something along the lines of "if you're a bigot DNI, if I clicked you it was accidental lol" in their Trainer Card. Should I give PM them letting them know that it can't be enforced, or would that be mini-modding? (I imagine it would, but I figured I'd ask anyway)