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?