text: @SK53 Tangentially related (and briefly mentioned at the pub on Tuesday) is https://www.openstreetmap.org/way/183667858 .  That's a bar of a pub with its own name, access, staff, and opening hours.  Is there really 1 pub there or 2?  I'm actually not quite sure...