I would like to create a web map showing just one type of point of interest. They are made available via the Overpass API and count up to only few thousands for the whole world.
I don't expect them to change at all, they will at most slowly increase in number (they represent some very expensive equipment).
According to all the above, I thought to export all of them manually, store them as a JSON file that gets shipped to the clients when they connect for the first time. In some months I will redo the procedure and update the data.
I was able to implement this scenario using a very small subset of data. Now I would like to export the whole data set. How should I do?