@aral so this rules out "fedora is not red hat," right?

@fedora