A runtime or tool version a file pins; label says which setting held it.
The setting and place a pin came from, without repeating a file name.