Manpages of gap-core in Debian stretch