Manpages of algobox in Debian testing