[heroes] Re: [mirror] FYI: provo-mirror.opensuse.org: downtime and new IPv4 address 2020-06-05 - 2020-06-07