That’s why my suggestion to use Googles dns server to pick up a possibly different/fresher name resolution.
The problem corrected itself without me doing anything.
Hmmmm
It’ll probably come back.