Hello! I was curious about https://www.openstreetmap.org/node/12082250327 which you mapped as amenity=flag_dropoff. I was wondering if this was a place to drop off worn flags in order to be retired, or if it was some other kind of flag dropoff? I'd been using amenity=waste_basket waste=flags for flag retirement boxes (and so I made a page in the wiki for it), but I don't know if it's the best way to approach it. And so I'd like to know what other kinds of flag dropoffs are out there that I'm not familiar with. Thanks!