1. . Please don't add `leisure=park` to different phases. This causes duplicates. They are not parks on their own. There's only 1 "Park" here. It's already covered. https://www.openstreetmap.org/relation/12921008
2. `smoking=no` should not be added, as it's the legal and de facto default. Only exceptions should be added. 