Manpages of hsail-tools in Debian unstable