How much history is held in a place-name? Quite a lot, if this story attached to a rock on …