Manpages of src:hxtools in Debian testing