Видимо это связано с неправильным локальным DNS-сервером.
Ранее мой локальный DNS-сервер был первым DNS-сервером в NetworkManager. Удаление этого (отключение автоматического DNS), установка Google DNS ( 8.8.8.8
и 8.8.8.4
), а затем перезапуск NetworkManager ( sudo systemctl restart NetworkManager
) решают проблему.