Manpages of axiom-test in Debian testing