Confirming that adding dns=default to /etc/NetworkManager/NetworkManager.conf solved the problem for me as well - thank you Scorpius!
Confirming that adding dns=default to /etc/NetworkMan ager/NetworkMan ager.conf solved the problem for me as well - thank you Scorpius!