Saving shapes from vector tiles to a shapefile

https://api.openstreetmap.org/user/Answerquest/diary/402602