Manpages of freeipmi-tools in Debian unstable