Makes the shipped boundary document and every module it lists as Public
actually reachable from an installed release.