Manpages of sudoku-solver in Debian unstable