Did you know ... Search Documentation:
Pack bims -- prolog/pldoc/man

The current version of pack bims does not contain a file prolog/pldoc/man