I see people running around with inappropriate names all the time. I suppose if they're reported they'd have to change them, but I don't think people actually bother reporting each other for such trivialities.