Are occurrences of the name "Red Hat" in the system(s) considered a bug 
worthy of reporting?