Manpages of gatb-core in Debian testing