I somewhat urgently need a map, but for the past day or two there are no maps in #OSMand available for download. Can anyone confirm or deny this problem?

Is this related to the OSM outtage 6 days ago, which was supposedly resolved?

(edit) workaround – download maps manually and side-load them. The maps are here:

https://osmand.net/list.php

Next question: how do you know which files cover a particular city if it’s not obvious from the filename?