Manpages of coqide in Debian unstable