Manpages of src:gitbatch in Debian testing