So, if y'all wouldn't mind, what's the link, again, for
the selinux bugzilla?
https://bugzilla.redhat.com/enter_bug.cgi?product=Fedora (you need to be
logged in!), scroll down the 'Components' section until you reach one of
the selinux-* sub-components and select it, then fill in the rest and
submit.