pull down to refresh

Whoops, looks like your post was first. Commenting the same thing I did for the duplicate

https://www.openstreetmap.org/relation/1278736
Gibraltar is a British Overseas Territory and headland, on Spain's south coast.

And it is TINY

Still though, pretty cool.