Right around the same time I had problems resolving names of a few sites, including Hacker News and others using Cloudflare's resolving name servers (1.1.1.1), so I switched to Google's (8.8.8.8) and everything seemed fine. - Jürgen