Manpages of src:gatb-core in Debian testing