fixes #3724 - correcting Red Hat names in some UI texts