See #1753 and elaborate more given time.

@slandelle you mentioned this has to do with Travis's DNS resolution, but I can confirm this fails also on my own machine and on GitHub actions. If you have any other insight / past experience with this do tell, but I'm leaving it here for later exploration.