Generally speaking yes they are.

Pat

On 03/08/2017 01:39 PM, Michael Tiernan wrote:
> Are occurrences of the name "Red Hat" in the system(s) considered a 
> bug worthy of reporting?