Manpages of src:dhcpd-pools in Debian unstable