Manpages of gap-core in Debian experimental