On Sunday, network changes were implemented that may have caused issues with name resolution. In the meantime, name resolution is functioning normally again.