These strings could definitely be from branding/redhat_branding