No matches were found for subject:"\[CentOS\-docs\] why the weird avoidance of the name red hat\?"