I thought it was a WSL (Linux on Windows) issue. I did some googling and saw some people discussing DNS issues on WSL, which were to be resolved by setting up a manual DNS config.
They used 8.8.8.8 in their example, which I of course changed to 1.1.1.1!
(Un)surprisingly the issue did not resolve after this, and I went on to do other things, hoping the gremlins would find something better to do in the meantime.
They used 8.8.8.8 in their example, which I of course changed to 1.1.1.1!
(Un)surprisingly the issue did not resolve after this, and I went on to do other things, hoping the gremlins would find something better to do in the meantime.