Write the pin preference filename as ${name} rather than ${release}, so that we can pin more than one thing. Change apt::source so that when pin is set, that it pins to the origin rather than the release.