Eu postei isso como uma resposta, embora seja altamente trivial, mas não consegui encontrar uma resposta em nenhum outro lugar.
Eu simplesmente esperei por um dia e o problema desapareceu aleatoriamente. Um comentário sobre esta pergunta sugerida algo parecido, no entanto:
I've seen the same problem, and this is not an issue with the data in the DNS system. I tried two different servers with dig, host and ping, all of which gave correct information, yet Chromium on my Ubuntu box couldn't find the record. (Chrome on Windows and on an Android tablet worked fine at the same time.) Clearing Chrome's DNS cache did not help. The problem went away after a couple of hours.
Eu tentei todas as soluções nesta questão e mais algumas , mas nada ajudou. Então, depois de esperar por um dia, o problema desapareceu. Então, minha sugestão para aqueles que não conseguem encontrar mais nada: espere e seja paciente. Se é urgente que você se conecte ao seu roteador, ele me ajudou a remover o servidor DNS do Google, embora eu o tenha acessado via IP.