Manpages of maude in Debian unstable