If you wanna downpatch just run Downpatcher.exe If you wanna know what a manifest name goes to: Search for it in https://github.com/BLCM/bl3hotfixes (Cartel Patch is PATCHDIESEL-178)