Pretty sure Red Hat legally has to ban him. We can do far better, but the method is by repealing laws not ignoring them.