Manpages of hdevtools in Debian unstable