. "Pump is a tool for configuring your network cards by using DHCP or BOOTP. Here is the MAN page for it:" . . .