Brindle replied to my email and gave me a direct link to the rpms and srpms. He said he’s going to report it to his network admin. Thanks for trying.

I have been reading about policy module framework for a day or two and came around one of its objective which is formal verification of the reference policy. This can be useful to you. Its a nice idea to verify a selinux system if its security is what it promises to be. They have used modern software engineering conxepts to brake the monolithic policy into one base module and then other per package module and the modules into files. Much like an object oriented approach.