Include also the alias for `sources.redhat.com': sourceware.org