No, there are legit red hat employees moderating instances. This is similar to reddit’s linux subreddit too. They ban anything anti red hat and use dirty practices like censorship and vote manipulation. Most people are not aware of this and blindly advocate for them.