Hi Pete, thanks for all the wonderful contributions you’ve made in this area. Have you considered contributing some of this historical information to OpenHistoricalMap as well? https://wiki.openstreetmap.org/wiki/OpenHistoricalMap There’s so much left to map over there that would complement the details here.