Manpages of gatb-core in Debian buster