?ping?
Checked and rechecked the other day. We is all good.
I haven’t used the repositories in quite a while. The only malfunction was with an Amazon search engine that said it couldn’t connect with the server at linuxmint.com. I just replaced it with better non-Mint search engine.