Seems like this map example I made a few weeks ago is pretty timely https://mapjson.com/examples/gibraltar.html