Manpages of freeipmi-ipmidetect in Debian testing