Overpass API Hostname DNS Error

[Lee-Carre]

Having never been prompted to answer any questions for quite some time, despite visiting places for which StreetComplete had quests, I examined the Debug Info of What's Nearby? to discover

Last Overpass Query Result:
Unable to resolve host "www.overpass-api.de": No address associated with hostname

So; no questions because What's Nearby? can't query the API, because it's using the wrong hostname.

Why doesn't it have a list of different hosts, so that this isn't a single-point-of-failure, else at least allow the user to set an override to the default hostname?