Manpages of gap-core in Debian testing