https://openstreetmap.org/copyright | https://openstreetmap.org |
Copyright OpenStreetMap and contributors, under an open license |
https://openstreetmap.org/copyright | https://openstreetmap.org |
Copyright OpenStreetMap and contributors, under an open license |
Hi, even though one is inside the other, it's OK to have two POIs listed here. (And now have been already separated). Having them separate means both can be rendered on the map, and have different attributes (type, hours, website, etc.) A couple of other editors have edited this since you updated it; I don't think any more adjustments are needed unless you'd like to add more info to either. Thanks!