Manpages of coolkey in Debian unstable