Manpages of kraken in Debian unstable