Re: [PD] shell scripts to tell which externals are used by patches