Manpages of src:xdemineur in Debian testing