Hacker News Reader

I think it's using downloads from https://download.geofabrik.de/ That extracts regions from Open Street Map and packages them as files.

What if their format changes? The app will no longer work.

It is fairly standard source for OSM data afaik. Organic Maps uses it as well at least for some cases.