@TerribleMaps Do you mean this: https://www.openstreetmap.org/node/2941119302/history#map=19/51.44996/-2.59838 ?
