Comment by Animats

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