(a HOSTPROG which is not installed). It is needed to prepare supplementary cookie collections. (We could turn the HOSTPROG into a regular TOOL, but a pkg version is still useful for older installations.)
