Saving shapes from vector tiles to a shapefile

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