Update docs referring to RHEL repos Oct 3