Manpages of maxima in Debian trixie